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

math-comp / mathcomp-history-before-github Public archive

Notifications You must be signed in to change notification settings
Fork 0
Star 3

The "coqfinitgroup" repository before the switch to github

3 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2,482 Commits
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

Report repository

Releases

No releases published

Packages

No packages published

Languages