☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (2)
Dependencies (10)
quasi-borel-spaces
0.1.0
A formalization of Quasi-Borel Spaces in Lean 4
#math
Displaying
1-2
of
2
versions of
quasi-borel-spaces
Sort by
Date
0.1
Version track: 0.1
0.1.0
11 hours ago
Released on October 26, 2025 at 4:01:36AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.24.0
0.1
Version track: 0.1
0.1.0
v4.24.0
4 days ago
Released on October 22, 2025 at 3:40:33PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.24.0
1
20