24 ms·
Mathematicians are using LEAN today to prove learning edge mathematics correct. Google LEAN and mathlib.
by mbrodersen 4y ago
Mathematicians are using LEAN today to prove learning edge mathematics correct. Google LEAN and mathlib.
- practal 4y agoSee my reply to you deeper below.