Chris00/ocaml-interval

An interval library for OCaml

语言：OCaml · GitHub 星标：17 · Fork：3

话题：computer-assisted-proof · interval-arithmetic · ocaml · rigorous · scientific-computing · validated

在 GitHub 上查看原仓库