Resources for "One Monad to Prove Them All"
Fitch style proof constructor
A Teeny Type Theory
🧊 Модальний гомотопічний верифікатор математики