search

coq-community / hydra-battles

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
https://coq-community.org/hydra-battles/doc/hydras.pdf
MIT License
63 stars 12 forks source link

require Coq 8.14 later in opam and CI due to CoqPrime #140

Closed palmskog closed 1 year ago

palmskog commented 1 year ago

Drop 8.13 as per https://github.com/coq/opam-coq-archive/pull/2413 and https://github.com/thery/coqprime/commit/de61546b6ffbdc9775e48d0c400cdf60e34d329b