chore: bump Lean to v4.9.0

ufmg-smite / lean-smt

Tactics for discharging Lean goals into SMT solvers.

Apache License 2.0

89 stars 18 forks source link

Closed joewatt95 closed 2 months ago

joewatt95 commented 2 months ago

This bumps Lean and Mathlib to the latest (as of 2024-7-6) stable version.