All Categories → No Category → ordinal-notations

Top 1 ordinal-notations open source projects

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

✭ 38

Coq coq discrete-mathematics formal-proofs primitive-recursive-functions ordinal-notations docker-coq-action hydra-battles coq-nix-toolbox

1-1 of 1 ordinal-notations projects