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

Proof assistant

Much of this section will be dumped at Section "Website front-end for a mathematical formal proof system" instead.

Tagged (1)

Ancestors (4)

  1. Formalization of mathematics
  2. Area of mathematics
  3. Mathematics
  4. Home

Incoming links (4)