|
hivert's
repositories
|
|
.github
|
|
.nix
|
|
.vscode
|
|
algebra
|
|
all
|
|
character
|
|
doc
|
|
docs
|
|
etc
|
|
field
|
|
fingroup
|
|
solvable
|
|
ssreflect
|
|
test_suite
|
|
.dockerignore
|
|
.gitattributes
|
|
.gitignore
|
|
.gitlab-ci.yml
|
|
.gitpod.Dockerfile
|
|
.gitpod.yml
|
|
.mailmap
|
|
AUTHORS
|
|
CHANGELOG.md
|
|
CONTRIBUTING.md
|
|
CeCILL-B
|
|
Dockerfile
|
|
Dockerfile.make
|
|
INITIAL_AUTHORS.md
|
|
INSTALL.md
|
|
Make
|
|
Make.test-suite
|
|
Makefile
|
|
Makefile.common
|
|
Makefile.coq.local
|
|
Makefile.test-suite.coq.local
|
|
README-CI-Nix.md
|
|
README.md
|
|
_CoqProject
|
|
coq-mathcomp-algebra.opam
|
|
coq-mathcomp-character.opam
|
|
coq-mathcomp-field.opam
|
|
coq-mathcomp-fingroup.opam
|
|
coq-mathcomp-solvable.opam
|
|
coq-mathcomp-ssreflect.opam
|
|
default.nix
|
|
rocq-mathcomp-algebra.opam
|
|
rocq-mathcomp-character.opam
|
|
rocq-mathcomp-field.opam
|
|
rocq-mathcomp-fingroup.opam
|
|
rocq-mathcomp-solvable.opam
|
|
rocq-mathcomp-ssreflect.opam
|