Martin-LĂśf Types, Intensional Equality, Proof Objects, Program Extraction
Extensibility In Lisp And Emacs
irreal.org¡2d
Pre-viva Talk - 02/10/2025
informatics.ed.ac.uk¡2d
enjoy-digital/litex
github.com¡1d
A Transformer-Based Cross-Platform Analysis of Public Discourse on the 15-Minute City Paradigm
arxiv.org¡2d
Loading...Loading more...