Repos by PatrickMassot

PatrickMassot / repos

21 repos

	Repo	Language	Stars	Rank
	leanblueprint	Python	112	54,382
	GlimpseOfLean	Lean	71	38
	lean-verbose	Lean	56	57
	verbose-lean4	Lean	37	86
	lean-differential-topology	Lean	10	246
	NNG4	Lean	8	275
	tikzcdedit	HTML	5	113,613
	lean4-game-server	Lean	5	397
	bigop	Lean	1	1,231
	lean-scratchpad	Lean	1	1,216