bobot/zarith bobot/zarith

  • Stars
    star
    1
  • Language
    OCaml
  • License
    Other
  • Created over 9 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bobot/zarith
github

bobot

Reviews

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

Repository Details

Old mirror of zarith svn repository https://forge.ocamlcore.org/projects/zarith/ (deprecated)

More Repositories

1

oci

OCI: framework for continuous integrations and benchmarks
OCaml
11
star
2

soqool

OCaml
6
star
3

ocaml-flint

OCaml
5
star
4

FetedelascienceINRIAsaclay

Fête de la science INRIA saclay
OCaml
5
star
5

CVC4.old-svn

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
C++
2
star
6

frama-c-ocaml-ctypes

OCaml
1
star
7

tocaml

An OCaml interpretor with `{%import "path|url" "sha"?}` extension for configuration file
OCaml
1
star