Geeks
c-cube
/
funarith
[wip] functorial library with classic algorithms for arithmetic
Primary Language
OCaml
MIT License
MIT
funarith Home Page
funarith GitHub
Markdown
Readme
5
Issues
8
Stargazers
6
Watchers
Watchers
c-cube
Imandra (@imandra-ai)
Drup
Inria
eemailme
Gbury
@OCamlPro
jhcloos
Kakadu
(ex-)JetBrains Research