The Top 2 Dependent Types Proof Assistant Logical Framework Open Source Projects

Open source projects categorized as Dependent Types Proof Assistant Logical Framework
Categories > Programming Languages > Dependent Types
Categories > Logical Framework
Categories > Programming Languages > Proof Assistant