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

Revert 'chore: adaptations for nightly-2024-07-01 (#870)' #872

Closed semorrison closed 2 months ago

semorrison commented 2 months ago

Ugh, this should not have been merged to master.