Repos by mattam82

mattam82 / repos

14 repos

	Repo	Language	Stars	Rank
	Coq-Equations	Coq	209	24
	Constructors	OCaml	16	2,157
	Forcing	Coq	14	362
	groupoid	HTML	9	65,555
	opetopic-coq	Coq	4	882
	Coq-unif	Coq	3	1,169
	Coq--RTL	Verilog	2	9,982
	Coq-misc	Coq	2	1,521
	RewriteStrat	OCaml	1	13,100
	Reify	OCaml	1	12,926