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: avoid nonterminal simps in String/Lemmas #864

Closed chabulhwi closed 3 months ago

chabulhwi commented 3 months ago

Co-authored-by: Mario Carneiro di.gama@gmail.com Co-authored-by: Bulhwi Cha chabulhwi@semmalgil.com

The base branch of this pull request is the branch for https://github.com/leanprover-community/batteries/pull/857.

chabulhwi commented 3 months ago

awaiting-review