All Categories → No Category → validated

Top 1 validated open source projects

An interval library for OCaml

✭ 14

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

1-1 of 1 validated projects