All Categories → No Category → computer-assisted-proof

Top 1 computer-assisted-proof open source projects

An interval library for OCaml

✭ 14

ocaml c scientific-computing interval-arithmetic validated rigorous computer-assisted-proof

1-1 of 1 computer-assisted-proof projects