nixpkgs / coqPackages.hydra-battles - An exploration of some properties of Kirby and Paris' hydra battles, with the help of the Coq Proof assistant. This development includes the study of several representations of ordinal numbers, and a part of the so-called Ketonen and Solovay machinery (combinatorial properties of epsilon0).

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

License - MIT

Maintainers - Siraphob Phipathananunth - Théo Zimmermann

Releases

0.5 (expand/collapse)
From commit 00460bd6 to 00460bd6
0.4 (expand/collapse)
From commit 039e3758 to 039e3758
0.5 (expand/collapse)
From commit 00f7e1e8 to 021410c0
0.4 (expand/collapse)
From commit 0757207f to 0757207f
0.5 (expand/collapse)
From commit 0719e92d to 0615bf07
0.4 (expand/collapse)
From commit 04af8917 to 04af8917
0.5 (expand/collapse)
From commit 0335855b to 0335855b
0.4 (expand/collapse)
From commit 050c5948 to 050c5948
0.5 (expand/collapse)
From commit 02bce71c to 05011436
0.4 (expand/collapse)
From commit 00ba9c33 to 076ffa9c
0.5 (expand/collapse)
From commit 026fddec to 05b40133
0.4 (expand/collapse)
From commit 04c91b2c to 04c91b2c
0.5 (expand/collapse)
From commit 06ec2027 to 06078e86
0.4 (expand/collapse)
From commit 00910f76 to 0530b5e1
0.3 (expand/collapse)
From commit 012009ec to 012009ec
0.4 (expand/collapse)
From commit 05cf40db to 05e11f84
0.3 (expand/collapse)
From commit 06d67bb2 to 06d67bb2
0.4 (expand/collapse)
From commit 0457e3db to 049444dc
0.3 (expand/collapse)
From commit 062d47f9 to 062d47f9
0.4 (expand/collapse)
From commit 0544ee55 to 057b31cf
0.3 (expand/collapse)
From commit 00b4c55f to 00b4c55f
0.4 (expand/collapse)
From commit 06132441 to 027b2ac2
0.3 (expand/collapse)
From commit 0374a6c0 to 0374a6c0
0.4 (expand/collapse)
From commit 04e6b03f to 04c94cc5
0.3 (expand/collapse)
From commit 021813a4 to 0798ed1a