知识图谱
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日 |
格式 | TXT |
授权 | Other (Open) |
Datastore active | False |
Has views | True |
Id | 7457e050-deea-418a-8b0b-782ded11daf6 |
Package id | 01398ca1-3984-4a80-a0b0-8002a501eb58 |
Position | 2 |
State | active |
Url type | upload |