| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | working towards biinv_imp_qinv | Josh Chen | 2019-03-26 | 1 | -2/+2 |
| * | prune import lists | Josh Chen | 2019-03-08 | 1 | -1/+1 |
| * | Make functions object-level | Josh Chen | 2019-03-06 | 1 | -21/+19 |
| * | touchups | Josh Chen | 2019-02-23 | 1 | -1/+1 |
| * | Method "quantify" converts product inhabitation into Pure universal statement... | Josh Chen | 2019-02-17 | 1 | -2/+2 |
| * | Organize this commit as a backup of the work on type inference done so far; l... | Josh Chen | 2019-02-11 | 1 | -22/+24 |
| * | Renaming | Josh Chen | 2018-09-19 | 1 | -0/+43 |
 |
index : Isabelle-HoTT | |
| trying to make Isabelle/HoTT work with Isabelle 2021-1 |
| aboutsummaryrefslogtreecommitdiff |