1 search result for "tag:"zarith""

Showing 1 - 1

zarith-ppx
Documentation

Literals for Zarith's arbitrary-precision integers and rationals

ppx zarith

Gabriel Radanne

0.1

Used by 0 other packages

19 Mar 2019