commit: d8abaa5f344b10222f82273db1361dd5c6cf96a4

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Wed Feb 21 22:40:20 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Wed Feb 21 22:40:20 2024 +1100
tree: cc366fea94af5294b92ba2b9af260785e6221d29
parent: 959ad988611db082ae4a97e9b8c4390fab53352e [diff]

feat: omega handles shift operators, and normalises ground term exponentials

4 files changed

tree: cc366fea94af5294b92ba2b9af260785e6221d29

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.