/MyHOTT

My implementation of the HOTT/UF book

Primary LanguageCoqGNU General Public License v3.0GPL-3.0

Watchers