Repos by isabelle-utp

isabelle-utp / repos

22 repos

	Repo	Language	Stars	Rank
	utp-main	Isabelle	34	17
	interaction-trees	Isabelle	6	60
	Optics	Isabelle	5	69
	Z_Toolkit	Isabelle	5	67
	Hybrid-Verification	Isabelle	5	66
	UTP	Isabelle	4	77
	Shallow-Expressions	Isabelle	3	103
	Isabelle-SACM	Isabelle	3	98
	Hybrid-Library	TeX	2	25,687
	isabelle-quantity	TeX	2	25,501