GitHub repository: robdockins/ordinals
Primary language: Coq
Created: 2017-08-05T19:09:38Z
Description: A simple development of constructive ordinals