Popular repositories Loading

1. Stlc_deBruijn Stlc_deBruijn Public

   Simply Typed Lambda Calculus with de Bruijn indices

   C 6

2. 2LTT-Agda 2LTT-Agda Public

   Forked from UnivalencePrinciple/2LTT-Agda

   Formalization of 2LTT in Agda

   Agda 3

3. narya narya Public

   Forked from mikeshulman/narya

   A proof assistant for higher-dimensional type theory

   OCaml 3

4. elifuskuplu.github.io elifuskuplu.github.io Public

   Forked from academicpages/academicpages.github.io

   Personal websites

   JavaScript

5. agda agda Public

   Forked from agda/agda

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

   Haskell

6. agda-unimath-elif agda-unimath-elif Public

   Forked from UniMath/agda-unimath

   Univalent mathematics in Agda

   Agda