Repos by plfa

plfa / repos

2 repos

	Repo	Language	Stars	Rank
	plfa.github.io	Agda	1,315	1
	plfl	Lean	19	137