nixpkgs / coqPackages.gaia-hydras - The Gaia and Hydra battles projects develop different notions of ordinals. This development bridges the different notions.

Homepage - https://github.com/coq-community/hydra-battles

License - MIT

Maintainers - Théo Zimmermann

Releases

0.5 (expand/collapse)
From commit 06ec2027 to 00460bd6