Repos by avigad

avigad / repos

23 repos

	Repo	Language	Stars	Rank
	mathematics_in_lean_source	Lean	89	45
	lamr	Lean	84	48
	qpf	Lean	34	118
	polya	Python	32	162,911
	boole	Python	27	185,132
	formal_methods_in_education	Ruby	14	31,952
	arwm	Isabelle	11	40
	isabelle	TeX	5	14,669
	LeanSudoku	Lean	5	486
	auto	Lean	3	806