| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | (broken) update hott for Isabelle 2021-1 | stuebinm | 2 years | |
| Age | Commit message | Author | Files | Lines |
| 2022-06-29 | (broken) update hott for Isabelle 2021-1HEADmaster | stuebinm | 3 | -23/+24 |
| 2022-06-29 | make mltt work with isabelle 2021-1 | stuebinm | 5 | -12/+20 |
| 2021-06-28 | 1. Thm/def statement display. 2. Syntax + computation proof. | Josh Chen | 3 | -8/+11 |
| 2021-06-28 | begin refactoring Equivalence | Josh Chen | 1 | -0/+458 |
| 2021-06-24 | Bad practice huge commit: | Josh Chen | 12 | -83/+164 |
| 2021-06-23 | 1. Put universe level parameters first in automatic term definitions. 2. Add ... | Josh Chen | 4 | -10/+22 |
| 2021-04-17 | update readme | Josh Chen | 1 | -4/+3 |
| 2021-04-17 | update CI to Isabelle 2021 | Josh Chen | 1 | -2/+2 |
| 2021-04-17 | Merge branch 'dev' | Josh Chen | 4 | -2/+29 |
| 2021-04-17 | Patch proof. Now works on Isabelle2021. | Josh Chen | 1 | -1/+1 |
| [...] | ||||
| Clone | ||||
| https://stuebinm.eu/git/forks/Isabelle-HoTT | ||||
 |
index : Isabelle-HoTT | |
| trying to make Isabelle/HoTT work with Isabelle 2021-1 |
| aboutsummaryrefslogtreecommitdiff |