search

leanprover-community / batteries

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

chore: adaptations for nightly-2024-11-07 #1027

Closed kim-em closed 1 week ago

kim-em commented 1 week ago

Obsolete now.