Martin-Löf Types, Intensional Equality, Proof Objects, Program Extraction
ISO C++ committee has a new chief sheep herder
shape-of-code.com·3d
A Priestly View Of Emacs
irreal.org·9h
Loading...Loading more...
Martin-Löf Types, Intensional Equality, Proof Objects, Program Extraction