Popular repositories Loading

1. CanonicalLean CanonicalLean Public

   A Lean tactic for Canonical, a search procedure for terms in dependent type theory.

   Lean 100 9

2. Canonical Canonical Public

   Canonical is a performant sound and complete type inhabitation solver for dependent type theory.

   Lean 78 7

3. Formalized-Voting Formalized-Voting Public

   Lean 13 2

4. JQuantum JQuantum Public

   A quantum computing library for java

   Java 10

5. BinaryBlockingFlow BinaryBlockingFlow Public

   Implementation of Goldberg and Rao's Binary Blocking Flow algorithm.

   Python 5 1

6. PipeSynth-AEC PipeSynth-AEC Public

   Python 5