search

leanprover-community / lean-auto

Experiments in automation for Lean
Apache License 2.0
73 stars 12 forks source link

Modifying monoPrepInterface signature #2

Closed JOSHCLUNE closed 1 year ago

PratherConid commented 1 year ago

Fixed by later commits.