Popular repositories Loading

1. idris-sandbox idris-sandbox Public

   Idris Sandbox

   Idris 7 1

2. agda agda Public

   Forked from agda/agda

   Agda is a dependently typed programming language / interactive theorem prover.

   Haskell

3. haste-compiler haste-compiler Public

   Forked from valderman/haste-compiler

   A GHC-based Haskell to JavaScript compiler

   Haskell

4. JonPRL JonPRL Public

   Forked from jonsterling/JonPRL

   An proof refinement logic for computational type theory based on Brouwer-realizability & the verificationist meaning explanation. Inspired by Nuprl. [For up-to-date development, see JonPRL's succes…

   Standard ML

5. sml-redprl sml-redprl Public

   Forked from RedPRL/sml-redprl

   The People's Refinement Logic

   Standard ML

6. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++