lean-ualib

Library of Lean code for Universal Algebra

This is a work in progress.

Documentation

Please visit ualib.org for full documentation.

https://ualib.gitlab.io/

Installation

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

1. 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
   

2. Change into the lean-ualib directory and run leanpkg build

   cd lean-ualib
   leanpkg build
   

Issues

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

License

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