search

leanprover-community / lean-auto

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

automate test suite #21

Open kim-em opened 9 months ago

kim-em commented 9 months ago

I need make test or equivalent in the repo, and also the github CI should run the tests.