Chase Norman

Expert
@chasenorman

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

134

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

100

Formalized-Voting. Lean

13

JQuantum. A quantum computing library for java

12

Canonical-min. A sound and complete solver for type inhabitation and unification in dependent type theory, written in 185 lines of Lean.

10

PipeSynth-AEC. Python

5

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

5

Cranbrook-App. Swift

1

HorizonWireless. Java

1
9
Apply