This repository was archived by the owner on Jul 7, 2021. It is now read-only.

Name		Name	Last commit message	Last commit date
attic		attic
.mailmap		.mailmap
AUTHORS		AUTHORS
CeCILL-B		CeCILL-B
README.md		README.md

Repository files navigation

History of Mathematical Components before GitHub

Here it is

About

The "coqfinitgroup" repository before the switch to github

Custom properties

3 stars

12 watching

Report repository

Releases

Packages

Contributors

Languages