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