Popular repositories Loading

1. Reals Reals Public

   Agda 1

2. agda agda Public

   Forked from agda/agda

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

   Haskell

3. CSProject CSProject Public

4. TypeTopology TypeTopology Public

   Forked from martinescardo/TypeTopology

   Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

   Agda

5. anon-pldi-ternary-real anon-pldi-ternary-real Public

   Forked from anon-pldi-ternary-reals/anon-pldi-ternary-real

   Java