Ciro Santilli
OurBigBook.com
$£ Sponsor €¥
中国独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱
Lean (proof assistant)
Ciro Santilli's Homepage
Mathematics
Area of mathematics
Formalization of mathematics
Proof assistant
List of proof assistants
wiki
OurBigBook.com
tags:
Microsoft product
,
Open source software
github.com/leanprover/lean
github.com/leanprover/lean4
Ancestors
List of proof assistants
Proof assistant
Formalization of mathematics
Area of mathematics
Mathematics
Ciro Santilli's Homepage
Incoming links
Microsoft
The Math Genome Project
Website front-end for a mathematical formal proof system