#精益
精益定理证明的回顾
A Review of the Lean Theorem Prover
(jiggerwit.wordpress.com)
2020-12-28 21:50
当我开始寻找比HOL-Light更强大的基础系统时,我转向了Lean。HOL-Light是我多年来一直乐于使用的校对助手。 HOL-Light擅长于其工作(例如真实和复杂的分析),但在处理大型对象(例如所有集合的类别)方面却不足。 Coq和Lean均基于CiC(归纳结构演算)的逻辑基础。与HOL不同,CiC可以轻松......
#定理
#lean
#精益
#美国
#google
#apple
#谷歌
#程序
#rust
#数据
#warning
#游戏
#代码
#ai
#软件
#linux
#设计
#学习
#web2.0
#google
#设计
#创意
#摄影
#游戏
#图片
#软件
#视频
#手机
#广告
#apple
#iphone
#网站
#免费
#下载
#windows
#微软
#firefox
#苹果
#blog
#音乐
#博客
#wordpress
#恶搞
#艺术
#qq
#web
#谷歌
#工具