leodemoura / libraries

Lean Libraries

Lean Libraries

This an auxiliary repository we use to store the new Lean libraries. We have two versions: standard and hott.

The standard libraries are the official Lean libraries.

The hott version is intended to be a version compatible with Homotopy Type Theory.

Documentation

• Proof style guidelines
• Naming style guidelines
• Documentation style guidelines
• The standard library