Machine learning and hammers for Coq

Using Coq
15

Here’s a nice benchmark suite for lean:

3 Likes