3 ms·
"we aim to tackle the challenges of scalability, usability, and proof (Mathematics) automation in the Lean proof assistant."
by bagels 2y ago
"we aim to tackle the challenges of scalability, usability, and proof (Mathematics) automation in the Lean proof assistant."