Version4.2.1
Available on Linux and macOS
Nixpkgs Reference
648f70160c03151bc2121d179291337ad6bc564b#coqPackages.flocq
Install with Devbox
devbox add [email protected]coqPackages.flocq
Floating-point formalization for the Coq system
devbox add coqPackages.flocq@latestTips
Install the package with Nix (specific nixpkg reference shown below).
Not a Nix expert? Download the Devbox CLI and install via `devbox add coqPackages.flocq@latest`.
- Version4.2.0
Available on Linux and macOS
Nixpkgs Reference
83a2581c81ff5b06f7c1a4e7cc736a455dfcf7b4#coqPackages.flocq
Install with Devbox
devbox add [email protected] - Version4.1.4
Available on Linux and macOS
Nixpkgs Reference
c3392ad349a5227f4a3464dce87bcc5046692fce#coqPackages.flocq
Install with Devbox
devbox add [email protected] - Version4.1.3
Available on Linux and macOS
Nixpkgs Reference
f36047a5a4b5631f75210859abac7f97ba1ba7a7#coqPackages.flocq
Install with Devbox
devbox add [email protected] - Version4.1.1
Available on Linux and macOS
Nixpkgs Reference
46688f8eb5cd6f1298d873d4d2b9cf245e09e88e#coqPackages.flocq
Install with Devbox
devbox add [email protected] - Version4.1.0
Available on Linux and macOS
Nixpkgs Reference
0749042bfaa2f4efa70ac829c5387133cfc0a337#coqPackages.flocq
Install with Devbox
devbox add [email protected] - Version3.4.3
Available on Linux and macOS
Nixpkgs Reference
3137fb373e36e39f605d44f97cb0f7807deefd1c#coqPackages.flocq
Install with Devbox
devbox add [email protected] - Version3.4.2
Available on Linux and macOS
Nixpkgs Reference
e722007bf05802573b41701c49da6c8814878171#coqPackages.flocq
Install with Devbox
devbox add [email protected] - Version3.3.1
Available on Linux and macOS
Nixpkgs Reference
2bb5cbf7f8b99a8d1d6646abe5ab993f6823212f#coqPackages.flocq
Install with Devbox
devbox add [email protected] - Version3.2.0
Available on Linux
Nixpkgs Reference
d6d07f262b171bb1e415e1a06c52288af056a98d#coqPackages.flocq
Install with Devbox
devbox add [email protected]