4 ms·
Lean4 has been a pleasure to learn so far! Starting with the natural numbers game was great for me: https://adam.math.hhu.de/ https://adam.math.hhu.de/
by swagmoney1606 3y ago
Lean4 has been a pleasure to learn so far! Starting with the natural numbers game was great for me: https://adam.math.hhu.de/ https://adam.math.hhu.de/