Notes on Algebra

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

Meta

• Author(s):
  • Max Ole Elliger (initial)
• License: GNU General Public License v3.0 or later
• Compatible Coq versions: Developed for 8.19.0
• Additional dependencies: none
• Coq namespace: CoMoAlg
• Related publication(s): none

Building and installation instructions

The easiest way to install the latest released version of Notes on Algebra is via OPAM:

opam repo add coq-released https://coq.inria.fr/opam/released
opam install coq-comoalg

To instead build and install manually, do:

git clone --recurse-submodules https://github.com/motrellin/comoalg.git
cd comoalg
make all  # or make -j <number-of-cores-on-your-machine> all
make install