Skip to content
Lean library for Universal Algebra
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
doc
src
.gitignore
LICENSE
README.md
_config.yml
leanpkg.toml

README.md

lean-ualib

Library of Lean code for Universal Algebra

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.

You can’t perform that action at this time.