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