Vincent Laporte e9d3fe8f28 coqPackages.goedel: enable with Coq 8.15		2022-05-07 07:29:30 +02:00
..
default.nix	coqPackages.goedel: enable with Coq 8.15	2022-05-07 07:29:30 +02:00