computer-assisted-proof topic
List
computer-assisted-proof repositories
ocaml-interval
16
Stars
3
Forks
Watchers
An interval library for OCaml
