lean-ualib

Library of Lean code for Universal Algebra

This is a work in progress.

Documentation

Please visit ualib.org for full documentation.

Use of this library requires (at least) the following steps:

clone this repository with, e.g.,

git clone git@github.com:UniversalAlgebra/lean-ualib.git

OR

git clone https://github.com/UniversalAlgebra/lean-ualib.git

Change into the lean-ualib directory and run leanpkg build
```
cd lean-ualib
leanpkg build
```

If you have a comment, question, suggestion, or problem related to this repository, please open a new issue.

This repository and its contents are released under and covered by the Apache License, v 2.0. Please read the LICENSE file.