5 ms·
It puts me in the top three for "theorem proving", and at the top for "interactive theorem proving". I like it. I feel this tool is quite sophisticated and inc
by auggierose 2y ago
It puts me in the top three for "theorem proving", and at the top for "interactive theorem proving".
I like it. I feel this tool is quite sophisticated and incredibly accurate.