ordinal-notations

There are 0 repository under ordinal-notations topic.

• coq-community / hydra-battles

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

  coqhydra-battlesordinal-notationsformal-proofsprimitive-recursive-functionsdiscrete-mathematicscoq-nix-toolboxdocker-coq-action
  Language:Coq 60

• cj-xu / OrdinalNotations

  An Agda development of ordinal notations based on Cantor normal form via simultaneous definitions

  agdaordinal-notationscantor-normal-formsimultaneous-definitions
  Language:Agda 6