Sign in

Repository Index

47,133 repositories indexed

Tag: All Tags
Tag
Filters (1)

Filters

Clear all filters

1–1 of 1 · Most stars

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

  • coq
  • hydra-battles
  • ordinal-notations
  • formal-proofs