coq-community / hydra-battles Star 66 Code Issues Pull requests Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran] coq discrete-mathematics formal-proofs primitive-recursive-functions ordinal-notations docker-coq-action hydra-battles coq-nix-toolbox Updated Feb 19, 2024 Coq
cj-xu / OrdinalNotations Star 6 Code Issues Pull requests An Agda development of ordinal notations based on Cantor normal form via simultaneous definitions agda ordinal-notations cantor-normal-form simultaneous-definitions Updated Feb 21, 2021 Agda