aboutsummaryrefslogtreecommitdiff
path: root/Univalence.thy (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Final commit before first releaseJosh Chen2018-09-121-1/+1
|
* Some final touchups before release 0.1 for the MS thesisJosh Chen2018-09-121-1/+3
|
* Add the univalence axiomJosh Chen2018-09-111-4/+64
|
* Running into trouble with the polymorphic identity functionJosh Chen2018-09-111-11/+55
|
* Implementing univalenceJosh Chen2018-09-111-0/+71