Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/motrellin/comoalg
Some personal notes on typical algebra topics
https://github.com/motrellin/comoalg
coq coq-formalization coq-library
Last synced: about 1 month ago
JSON representation
Some personal notes on typical algebra topics
- Host: GitHub
- URL: https://github.com/motrellin/comoalg
- Owner: motrellin
- Created: 2024-05-19T21:25:19.000Z (9 months ago)
- Default Branch: main
- Last Pushed: 2024-07-22T18:08:29.000Z (6 months ago)
- Last Synced: 2024-11-06T05:43:21.368Z (3 months ago)
- Topics: coq, coq-formalization, coq-library
- Language: Coq
- Homepage: https://motrellin.github.io/comoalg/
- Size: 87.9 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Notes on Algebra
[![Docker CI][docker-action-shield]][docker-action-link]
[![coqdoc][coqdoc-shield]][coqdoc-link]
[docker-action-shield]: https://github.com/motrellin/comoalg/actions/workflows/docker-action.yml/badge.svg?branch=main
[docker-action-link]: https://github.com/motrellin/comoalg/actions/workflows/docker-action.yml
[coqdoc-shield]: https://img.shields.io/badge/docs-coqdoc-blue.svg
[coqdoc-link]: https://motrellin.github.io/comoalg/./docs/toc.html
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](LICENSE)
- 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](https://opam.ocaml.org/doc/Install.html):
```shell
opam repo add coq-released https://coq.inria.fr/opam/released
opam install coq-comoalg
```
To instead build and install manually, do:
``` shell
git clone --recurse-submodules https://github.com/motrellin/comoalg.git
cd comoalg
make all # or make -j all
make install
```