3 ms·
It's great that top mathematicians are now interested in machine assisted proof. Love that my name appears in the talk (in small print) :-D Now I just have to
by practal 3y ago
It's great that top mathematicians are now interested in machine assisted proof.
Love that my name appears in the talk (in small print) :-D
Now I just have to somehow find funding for my project, Practal [1].
[1] https://practal.com https://practal.com