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

chore: bump toolchain to v4.9.0-rc2 #847

Closed fgdorais closed 4 months ago

fgdorais commented 4 months ago

Seems to have been omitted in the bump process.