Repos by math-comp

math-comp / repos

26 repos

	Repo	Language	Stars	Rank
	tutorial_material	Coq	17	299
	multinomials	Coq	14	360
	real-closed	Coq	12	408
	math-comp.github.io	HTML	7	79,606
	POPLmark	Coq	7	607
	docker-mathcomp	Dockerfile	6	9,699
	bigenough	Coq	4	887
	ssr-manual	PostScript	3	789
	wiki	unknown	3	449,302
	mathcomp-history-before-github	Coq	3	1,045