Repos by PatrickMassot

PatrickMassot / repos

21 repos

	Repo	Language	Stars	Rank
	leanblueprint	Python	122	52,014
	GlimpseOfLean	Lean	76	39
	lean-verbose	Lean	59	56
	verbose-lean4	Lean	42	87
	lean-differential-topology	Lean	10	268
	NNG4	Lean	8	298
	lean4-game-server	Lean	6	381
	tikzcdedit	HTML	5	115,990
	GaloisConnectionGame	Lean	2	750
	bigop	Lean	1	1,319