issues
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-07-16
#885
Closed
kim-em
closed
3 months ago