aboutsummaryrefslogtreecommitdiff
path: root/hott/Base.thy (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 1. Base theory. 2. Fix Nat axioms, addition.Josh Chen2020-04-031-0/+99