gonzigaran/agda-clones

Formalizing the clone theory in type theory and Agda

Language: HTML - Size: 1.43 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0