Repos by PatrickMassot

PatrickMassot / repos

21 repos

	Repo	Language	Stars	Rank
	lean-bavard	Lean	1	1,146
	MDD154	Lean	1	1,088
	GaloisConnectionGame	Lean	1	980
	nng4-interface	JavaScript	0	-
	slmathTest	Lean	0	-
	plastexdepgraph	Python	0	-
	plastexshowmore	JavaScript	0	-
	checkdecls	Lean	0	-
	bptest	TeX	0	-
	neovim_config	Lua	0	-