comoalg

View the project on GitHub

About

Welcome to the Notes on Algebra project website!

This projects aims to state some standard algebraic concepts. It should also serve as a personal collection of notes.

This is an open source project, licensed under the GNU General Public License v3.0 or later.

Get the code

The current stable release of Notes on Algebra can be downloaded from GitHub.

Documentation

The coqdoc presentation of the source files can be browsed here

Related publications, if any, are listed below.

Help and contact

• Report issues on GitHub

Authors and contributors

• Max Ole Elliger (initial)