coq-mathcomp - Library of mathematical components formalized in Coq

Mode	Name	Size
-rw-r--r--	.dockerignore	677	log plain
-rw-r--r--	.gitattributes	78	log plain
d---------	.github	88	log plain
-rw-r--r--	.gitignore	659	log plain
-rw-r--r--	.gitlab-ci.yml	12465	log plain
-rw-r--r--	.gitpod.Dockerfile	789	log plain
-rw-r--r--	.gitpod.yml	484	log plain
-rw-r--r--	.mailmap	958	log plain
d---------	.nix	124	log plain
-rw-r--r--	AUTHORS	1022	log plain
-rw-r--r--	CHANGELOG.md	63609	log plain
-rw-r--r--	CHANGELOG_UNRELEASED.md	7224	log plain
-rw-r--r--	CONTRIBUTING.md	10664	log plain
-rw-r--r--	CeCILL-B	21907	log plain
-rw-r--r--	Dockerfile	1354	log plain
-rw-r--r--	Dockerfile.make	845	log plain
-rw-r--r--	INSTALL.md	3500	log plain
-rw-r--r--	README.md	2788	log plain
-rw-r--r--	_CoqProject	298	log plain
-rw-r--r--	coq-mathcomp-algebra.opam	1232	log plain
-rw-r--r--	coq-mathcomp-character.opam	1124	log plain
-rw-r--r--	coq-mathcomp-field.opam	1124	log plain
-rw-r--r--	coq-mathcomp-fingroup.opam	1139	log plain
-rw-r--r--	coq-mathcomp-solvable.opam	1110	log plain
-rw-r--r--	coq-mathcomp-ssreflect.opam	1328	log plain
-rw-r--r--	default.nix	496	log plain
d---------	docs	38	log plain
d---------	etc	275	log plain
d---------	mathcomp	525	log plain