aboutsummaryrefslogtreecommitdiff
path: root/hott/Bool_HoTT.thy (unfollow)
Commit message (Collapse)AuthorFilesLines
2021-04-10start hprop stuffJosh Chen1-0/+8