精益社区
Mathlib统计
计数
定义
定理
贡献者
79631
152274
310
代码增长
时间分布
精益社区
社区
Zulip聊天
github
博客
社区信息
团队
关于精益的论文
使用精益的项目
使用精益教学
事件
安装
开始
Debian/Ubuntu安装
通用Linux安装
MacOS安装
Windows安装
在线版本(无安装)
使用Lake(构建系统)
文档
学习资源(从这里开始)
API文档
计算模式
Conv模式
简化程序
资金充足的递归
关于MWE
词汇表
图书馆概述
图书馆概述
本科生数学
Wiedijk的100个定理
贡献
拉入请求生命周期
命名约定
代码样式准则
文档样式
提交约定
拉动请求审查指南
贡献统计
标签和分支