nixpkgs / coqPackages.goedel - The Gödel-Rosser 1st incompleteness theorem in Coq

Homepage - https://github.com/coq-community/goedel

License - MIT

Maintainers - Siraphob Phipathananunth

Outputs

out (expand/collapse)

Releases

8.13.0 (expand/collapse)
From commit 00460bd6 to 00460bd6
8.12.0 (expand/collapse)
From commit 039e3758 to 039e3758
8.13.0 (expand/collapse)
From commit 00f7e1e8 to 021410c0
8.12.0 (expand/collapse)
From commit 0757207f to 0757207f
8.13.0 (expand/collapse)
From commit 038152e4 to 0615bf07
8.12.0 (expand/collapse)
From commit 023ba766 to 023ba766
8.13.0 (expand/collapse)
From commit 016b0a42 to 045e85bb
8.12.0 (expand/collapse)
From commit 06c691cf to 06c691cf
8.13.0 (expand/collapse)
From commit 03bd5499 to 04e1d248
8.12.0 (expand/collapse)
From commit 021813a4 to 0242265e