实体
Dataset description:
Lean 4 是一种计算机辅助证明系统(proofassistant),或称交互式证明系统 (in teractive theorem prover),可用于形式化验证数学定理或计算机程序的正确性。 Mathlib 是 Lean 4 的数学库,它背后有一个活跃的开发团队,包括许多数学家 和计算机科学家。该系统已被应用于前沿的数学研究当中,例如,在数学Fields...
该资源暂时没有视图
其他信息
域 | 价值 |
---|---|
Data last updated | 2024年2月9日 |
Metadata last updated | 2024年2月9日 |
创建的 | 2024年2月9日 |
格式 | 未知 |
授权 | Other (Open) |
Datastore active | False |
Has views | False |
Id | 0cfd1f0f-5cc5-47df-95ab-1b194b0688c9 |
Package id | 01398ca1-3984-4a80-a0b0-8002a501eb58 |
Position | 4 |
State | active |
Url type | upload |