Repos by jjaassoonn

jjaassoonn / repos

18 repos

	Repo	Language	Stars	Rank
	transcendental	HTML	6	90,293
	flat	Lean	3	567
	GAGA	TeX	2	21,867
	lean2md	Python	1	1,737,278
	cc	Lean	1	1,038
	twist	Lean	1	1,029
	ReMeeowthCore	Swift	0	-
	jjaassoonn.github.io	HTML	0	-
	quasicoherent	Lean	0	-
	etale_sheafification	Lean	0	-