commit: 33799af0292f912b5aac4e7f5b91ab0f4d2c01a8

[log]
author: Kim Morrison <kim@tqft.net>

Mon Feb 03 11:24:28 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Mon Feb 03 11:24:28 2025 +1100
tree: 449a655f4744ae138deedbf4108fd926292c6d65
parent: c46e4d699f3963129b43a4f75fac0557793b7f1e [diff]

guard_msgs in test

tests/lean/run/Ord.lean[diff]

1 file changed

tree: 449a655f4744ae138deedbf4108fd926292c6d65

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 (documentation source: doc/make/index.md).