search

ocaml / Zarith

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
Other
231 stars 70 forks source link

add plugin directives in META (issue #102) #112

Closed antoinemine closed 2 years ago

antoinemine commented 2 years ago

Close #102.