vyorkin.org
About
Blog
Braindump
|
Russian
German
Category: Tapl
December 7, 2019
Proving TAPL in Coq (ch 3, WIP)