Popular repositories Loading

1. CanonicalLean CanonicalLean Public

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

   Lean 81 5

2. Canonical Canonical Public

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

   Lean 63 4

3. Formalized-Voting Formalized-Voting Public

   Lean 13 2

4. JQuantum JQuantum Public

   A quantum computing library for java

   Java 10

5. PipeSynth-AEC PipeSynth-AEC Public

   Python 5

6. BinaryBlockingFlow BinaryBlockingFlow Public

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

   Python 4 1