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

QED manifesto

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

Ancestors

  1. Proof assistant
  2. Formalization of mathematics
  3. Area of mathematics
  4. Mathematics
  5. Ciro Santilli's Homepage

Incoming links