commit: fa8990e77f971c1fedd2c756b6794b0b152942ff

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Wed Apr 09 11:06:50 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Apr 09 11:06:50 2025 -0700
tree: cf3f1d8fd867b3b34606c610690ec65c897575b6
parent: 4414430531ab648da8acdcee467976fe7b5a0be0 [diff]

test: model for Nat

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

1 file changed

tree: cf3f1d8fd867b3b34606c610690ec65c897575b6

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