HoTT book « ex - 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

path: root/ex/HoTT book

Mode	Name	Size
-rw-r--r--	Ch1.thy	1402	log plain

generated by cgit v1.2.3 (git 2.25.1) at 2024-11-03 01:52:14 +0000