The "batteries included" extended library for the Lean programming language and theorem prover
232
stars
95
forks
source link
chore: `unreachableTactic` -- replace a `Std` namespace with `Batteries` and add an `inherit_doc`. #861
Closed
adomani closed 2 months ago
awaiting-review