关系
Dataset description:
Lean 4 是一种计算机辅助证明系统(proofassistant),或称交互式证明系统 (in teractive theorem prover),可用于形式化验证数学定理或计算机程序的正确性。 Mathlib 是 Lean 4 的数学库,它背后有一个活跃的开发团队,包括许多数学家 和计算机科学家。该系统已被应用于前沿的数学研究当中,例如,在数学Fields...
Source: 使用Lean 4 的Mathlib 库的数学知识图谱
이 리소스를 위해 생성된 뷰가 아직 없습니다.
추가 정보
필드 | 값 |
---|---|
마지막으로 업데이트된 데이터 | 2024년 2월 9일 |
마지막으로 업데이트된 메타데이터 | 2024년 2월 9일 |
생성됨 | 2024년 2월 9일 |
포맷 | 알 수 없는 |
라이센스 | Other (Open) |
Datastore active | False |
Has views | False |
Id | 0f9ce347-64ff-4d6c-a10c-815fe0a806d3 |
Package id | 01398ca1-3984-4a80-a0b0-8002a501eb58 |
Position | 5 |
State | active |
Url type | upload |