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: replace `Std` with `Batteries` and recycle a doc-string #859

Closed adomani closed 3 months ago

adomani commented 3 months ago

Let's see if I did not break anything!