search

leanprover-community / batteries

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

chore: bump toolchain to v4.10.0-rc1, merging bump/v4.10.0 #867

Closed semorrison closed 2 months ago