commit: 1a46de7e1279fd9e1b782a7a5689abb1d72c399b

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

Mon May 26 09:43:05 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Mon May 26 09:43:05 2025 +1000
tree: 904eca949178d887daae820c2e4a3feb98cc10b5
parent: 9982bab93e0c749d3c4e20d0f8ce21e939a1e5e9 [diff]

chore: add grind_trig test case

tests/lean/run/grind_trig.lean[Added - diff]

1 file changed

tree: 904eca949178d887daae820c2e4a3feb98cc10b5

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.