research
∙
09/20/2021
Money grows on (proof-)trees: the formal FA1.2 ledger standard
Once you have invented digital money, you may need a ledger to track who...
research
∙
07/29/2021
Syllepsis in Homotopy Type Theory
It is well-known that in homotopy type theory (HoTT), one can prove the ...
research
∙
04/30/2018