GitHub - Modularius/CoqAlgebra: A formalisation of abstract algebra in the Coq Proof Assistant

Hello World!

Name	Name	Last commit message	Last commit date
Latest commit Modularius Functional Only Oct 23, 2020 0aee725 · Oct 23, 2020 History 12 Commits
.vscode	.vscode	Next commit	Jul 28, 2020
theories	theories	Functional upto FreeModules	Oct 22, 2020
.Makefile.d	.Makefile.d	Functional upto FreeModules	Oct 22, 2020
.gitignore	.gitignore	Functional Only	Oct 23, 2020
CoqMakefile.conf	CoqMakefile.conf	Commit after a long time	Sep 22, 2020
Makefile	Makefile	initial commit	Jul 27, 2020
Makefile.conf	Makefile.conf	Functional upto FreeModules	Oct 22, 2020
README.md	README.md	initial commit	Jul 27, 2020
_CoqProject	_CoqProject	Functional Only	Oct 23, 2020

Provide feedback