Repos by math-comp

math-comp / repos

26 repos

	Repo	Language	Stars	Rank
	math-comp	Coq	546	10
	analysis	Coq	180	29
	mcb	TeX	139	788
	hierarchy-builder	Prolog	91	45
	finmap	Coq	46	119
	Coq-Combi	Coq	34	163
	algebra-tactics	Coq	29	182
	Abel	Coq	28	186
	odd-order	Coq	24	218
	mczify	Coq	22	233