Benedikt Schmidt's repositories
factory-ocaml-bindings
Bindings for the factory library used by Singular to perform polynomial algebra computations
lean-ocaml-bindings
Ocaml bindings for the Lean Theorem Prover http://leanprover.github.io/
darcs-patchindex
patchindex related repository
oblivious_transfer
oblivious transfer examples