Skip to content
This repository has been archived by the owner on Oct 17, 2020. It is now read-only.

Issues: EgbertRijke/HoTT-Intro

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

main.agda
#9 opened Oct 16, 2020 by jcguu95
Broken references to axioms
#8 opened Sep 16, 2020 by mgrabovsky
ProTip! Mix and match filters to narrow down what you’re looking for.