3 ms·
You can also literately program in Lean, and get out math theorems like http://pat.perso.ens-lyon.org/M1P1/ http://pat.perso.ens-lyon.org/M1P1/
by krapht 8y ago
You can also literately program in Lean, and get out math theorems like http://pat.perso.ens-lyon.org/M1P1/ http://pat.perso.ens-lyon.org/M1P1/