Lean

来自开放百科 - 灰狐
2022年2月13日 (日) 02:47Allen (讨论 | 贡献)的版本

跳转到： 导航, 搜索
Wikipedia-35x35.png 您可以在Wikipedia上了解到此条目的英文信息 Lean Thanks, Wikipedia.

Lean

Lean

目录

简介

Lean 是一种定理验证器（theorem prover）和编程语言，它是基于具有归纳类型（inductive types）的构造微积分（calculus of constructions）。

功能

指南

项目

Projects using Lean

图集

链接

来自“http://wiki.huihoo.com/wiki/?title=Lean&oldid=160700”
分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱