Ciro Santilli
OurBigBook.com
$£ Sponsor €¥
中国独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱
Proof assistant
Ciro Santilli's Homepage
Mathematics
Area of mathematics
Formalization of mathematics
OurBigBook.com
words: 235
articles: 5
Much of this section will be dumped at
Section "Website front-end for a mathematical formal proof system"
instead.
Table of contents
235
5
QED manifesto
Proof assistant
12
Web-based proof assistant
Proof assistant
214
1
The Math Genome Project (2023-)
Web-based proof assistant
206
List of proof assistants
Proof assistant
1
Lean (proof assistant)
List of proof assistants
Tagged
Website front-end for a mathematical formal proof system
Ancestors
Formalization of mathematics
Area of mathematics
Mathematics
Ciro Santilli's Homepage
Incoming links
BookofProofs
The Math Genome Project
Website front-end for a mathematical formal proof system