2 ms·
If the tools are the same as the ones AlphaProof gets (i.e. a lean compiler) then no one would use them.
by sebzim4500 2y ago
If the tools are the same as the ones AlphaProof gets (i.e. a lean compiler) then no one would use them.
- Ericson2314 2y agoWell, hopefully that changes soon :)