Highlights
- Pro
Popular repositories Loading
-
CanonicalLean
CanonicalLean PublicA Lean tactic for Canonical, a search procedure for terms in dependent type theory.
Lean 31
-
-
-
BinaryBlockingFlow
BinaryBlockingFlow PublicImplementation of Goldberg and Rao's Binary Blocking Flow algorithm.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.