GitHub topics: clone-theory
gonzigaran/agda-clones
Formalizing the clone theory in type theory and Agda
Language: HTML - Size: 1.43 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 0 - Forks: 0
Related Keywords
Formalizing the clone theory in type theory and Agda
Language: HTML - Size: 1.43 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 0 - Forks: 0