Popular repositories Loading

1. camelide camelide Public

   An interpreter for Dedukti written in OCaml.

   OCaml 5 1

2. preparen preparen Public

   Latex package for pretty-printing precedence parentheses

   TeX 3

3. hol2dk hol2dk Public

   Forked from polux/hol2dk

   hol to dedukti

   OCaml 1

4. dedukti dedukti Public

   Forked from polux/dedukti

   A type-checker for the λΠ-modulo calculus.

   Haskell 1

5. try_git try_git Public

   1

6. arrow-puzzle arrow-puzzle Public

   A solver for the Arrow Puzzle in the Exponential Idle game

   Python 1