Repos by coq-community

coq-community / repos

73 repos

	Repo	Language	Stars	Rank
	docker-coq-action	Shell	12	50,405
	mmaps	Coq	11	469
	buchberger	Coq	9	558
	notation-gallery	Coq	9	516
	comp-dec-modal	Coq	8	575
	coq-performance-tests	Coq	7	634
	proviola	Python	7	479,056
	zorns-lemma	Coq	6	742
	reduction-effects	Makefile	6	8,073
	generic-environments	Coq	5	852