beschmi/lean-ocaml-bindings beschmi/lean-ocaml-bindings

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    OCaml
  • Created over 8 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
beschmi/lean-ocaml-bindings
github

beschmi

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Ocaml bindings for the Lean Theorem Prover http://leanprover.github.io/

More Repositories

1

factory-ocaml-bindings

Bindings for the factory library used by Singular to perform polynomial algebra computations
OCaml
3
star
2

darcs-patchindex

patchindex related repository
Haskell
1
star