jonaprieto/agda-prop

Investigating the performance of thm-find-conjunct vs atp-conjunct from agda-metis

jonaprieto opened this issue · 1 comments

jonaprieto commented

There

jonaprieto commented

I do not plan to improve this.