The Top 1 Haskell Agda Type Theory Proof Assistant Open Source Projects

Open source projects categorized as Haskell Agda Type Theory Proof Assistant
Categories > Agda
Categories > Programming Languages > Proof Assistant
Categories > Compilers > Type Theory