Ciro Santilli $$ Sponsor Ciro $$ 中国独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱
🔗

Formal proof

| nosplit | ↑ parent "Formalization of Mathematics" | words: 15 | descendant words: 219 | descendants: 11
🔗
A proof in some system for the formalization of Mathematics.
🔗
🔗

Ancestors

🔗