An open API service indexing awesome lists of open source software.

https://github.com/clarus/coq-extraction-big-int

Interface to native OCaml big integers.
https://github.com/clarus/coq-extraction-big-int

Last synced: about 2 months ago
JSON representation

Interface to native OCaml big integers.

Awesome Lists containing this project

README

        

# Extraction BigInt
Interface to native OCaml big integers.