GaloisInc / lean-haskell-bindingsLinks

Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/
21Updated 7 years ago

Alternatives and similar repositories for lean-haskell-bindings

Users that are interested in lean-haskell-bindings are comparing it to the libraries listed below

Sorting: