adaptation PR for lean4#4586

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

Closed llllvvuu closed 1 month ago