Isabelle-HoTT/ex/Book, branch master trying to make Isabelle/HoTT work with Isabelle 2021-1 Brand-spanking new version using Spartan infrastructure 2020-04-02T15:57:48+00:00 Josh Chen 2020-04-02T15:57:48+00:00 c2dfffffb7586662c67e44a2d255a1a97ab0398b 






add ROOT file
2018-09-18T14:52:08+00:00

Lars Hupel

2018-09-18T14:52:08+00:00

f07e0e2349a222130209ada9c029eea3d1fe8144