Isabelle-HoTT - trying to make Isabelle/HoTT work with Isabelle 2021-1

index : Isabelle-HoTT

trying to make Isabelle/HoTT work with Isabelle 2021-1

about summary refs log tree commit diff

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Init	Josh Chen	2018-05-03	3	-0/+135

[prev]

generated by cgit v1.2.3 (git 2.25.1) at 2024-10-08 19:31:26 +0000