search

data61 / PSL

Other
65 stars 9 forks source link

Abduction: print incomplete proof attempts every once in a while #214

Open yutakang opened 8 months ago

yutakang commented 8 months ago

This would be useful for debugging as well.