aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
master(broken) update hott for Isabelle 2021-1stuebinm5 months
 
 
AgeCommit messageAuthorFilesLines
2022-06-29(broken) update hott for Isabelle 2021-1HEADmasterstuebinm3-23/+24
2022-06-29make mltt work with isabelle 2021-1stuebinm5-12/+20
2021-06-281. Thm/def statement display. 2. Syntax + computation proof.Josh Chen3-8/+11
2021-06-28begin refactoring EquivalenceJosh Chen1-0/+458
2021-06-24Bad practice huge commit:Josh Chen12-83/+164
2021-06-231. Put universe level parameters first in automatic term definitions. 2. Add ...Josh Chen4-10/+22
2021-04-17update readmeJosh Chen1-4/+3
2021-04-17update CI to Isabelle 2021Josh Chen1-2/+2
2021-04-17Merge branch 'dev'Josh Chen4-2/+29
2021-04-17Patch proof. Now works on Isabelle2021.Josh Chen1-1/+1
[...]
 
Clone
https://stuebinm.eu/git/forks/Isabelle-HoTT