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: adaptations for nightly-2024-06-16 #848

Closed kim-em closed 4 months ago

kim-em commented 4 months ago

These are the adaptations for leanprover/lean4#4400.