3 ms·
I built a toy autonomous math research project: https://paulklemstine.github.io/Lean/ https://paulklemstine.github.io/Lean/
by raver1975 4mo ago
I built a toy autonomous math research project: https://paulklemstine.github.io/Lean/ https://paulklemstine.github.io/Lean/