/comoalg

Some personal notes on typical algebra topics

Primary LanguageCoq

Notes on Algebra

Docker CI coqdoc

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