search

leanprover-community / lean-auto

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

Improve README #13

Closed DenisGorbachev closed 10 months ago

PratherConid commented 10 months ago

Thanks for the fix!