Published October 25, 2024
| Version v1
Dataset
Open
LeanNavigator Dataset
Authors/Creators
Description
The LeanNavigator dataset
Files
Files
(204.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:ef1971d4cdec50d06fb94704b0ee16f4
|
204.3 MB | Download |
Additional details
Software
- Programming language
- Lean