search

leanprover-community / batteries

The "batteries included" extended library for the Lean programming language and theorem prover
Apache License 2.0
242 stars 101 forks source link

fix: adapt to `Nat.add_assoc'` #862

Closed markusschmaus closed 3 months ago

markusschmaus commented 3 months ago

For https://github.com/leanprover/lean4/pull/4557 CI