Implementation of Nuprl's type theory in Coq
Primary LanguageCoqGNU General Public License v3.0GPL-3.0