feat: Add debug log on proof search completion

gpoesia / minimo

Learning Formal Mathematics from Intrinsic Motivation

MIT License

9 stars 7 forks source link

Closed emergenz closed 5 days ago

emergenz commented 5 days ago

Adding a debug log to investigate where exactly the PyProof*Errors are occurring