Ciro Santilli
OurBigBook.com
$£
Sponsor
中国
独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱
Comparison of proof assistants
Home
Mathematics
Area of mathematics
Formalization of mathematics
Proof assistant
OurBigBook.com
Words: 9
ntietz.com/blog/first-impressions-of-lean-and-coq/
My first impressions from a few weeks with
Lean
and
Coq
Ancestors
(5)
Proof assistant
Formalization of mathematics
Area of mathematics
Mathematics
Home