Ciro Santilli
🔗
🔗
If Ciro Santilli ever becomes rich, he's going to solve this: website front-end for a mathematical formal proof system, promise.
🔗
🔗

Ancestors

🔗