bignums icon indicating copy to clipboard operation
bignums copied to clipboard

Published 20 hours ago • verified publisher icon coq-community
→

Metadata

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

Results 2 bignums issues
Sort by recently updated
recently updated
newest added

adapt to coq/coq#18730

andres-erbsen avatar andres-erbsen

Should the opam package install the bytecode plugin?

1 comment

I came into a situation where I want to run coqtop.byte in ocamldebug to analyze some runtime behavior. From those plugins which I use from the Coq Platform, the Bignums...

MSoegtropIMC avatar MSoegtropIMC

← Metadata

22
Stars
21
Forks
Watchers

Owner

verified publisher icon coq-community

Metadata

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

Back