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

[prev]

generated by cgit v1.2.3 (git 2.25.1) at 2025-01-07 17:55:19 +0000