Machine learning and hammers for Coq

Using Coq
9

This should allow CoqGym a more stable way of pulling the archives:



I’m looking forward to what it can do on the other libraries.

1 Like