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 (Expand)	Author	Age	Files	Lines
*	Init	Josh Chen	2018-05-03	3	-0/+135

generated by cgit v1.2.3 (git 2.25.1) at 2025-01-03 16:52:55 +0000