Top Isabelle repos

1,052 repos

	Rank	Repo	Stars	Developer
	31	cookbook	14	isabelle-prover
	32	nadea	14	logic-tools
	33	LogiKEy	13	cbenzmueller
	34	scyther-proof	13	meiersi
	35	lawrencecpaulson.github.io	12	lawrencecpaulson
	36	Isabelle-hardware-models	12	BarrelfishOS
	37	opsets	12	trvedata
	38	fpp	11	LVPGroup
	39	veriopt-releases	11	uqcyber
	40	Blockchain	11	fu-dietersheim