Repos by avigad

avigad / repos

23 repos

	Repo	Language	Stars	Rank
	verification_demo	Lean	3	730
	qelim	Lean	2	1,026
	programming_in_lean	TeX	1	67,773
	library_dev	Lean	1	1,566
	formal_logic	Lean	1	1,538
	lafny-experiments	Lean	1	1,275
	scratch	Lean	0	-
	nlp	unknown	0	-
	introduction_to_lean	TeX	0	-
	lean_reference	Python	0	-