Ciro Santilli
🔗
🔗
A proof in some system for the formalization of Mathematics.
🔗
🔗

Ancestors

🔗