jonsterling

A pedagogic implementation of abstract bidirectional elaboration for dependent type theory. If this helps you, please consider sponsoring!

Hypertext translations of some classic mathematical papers into English