☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (4)
Dependencies (10)
MeanFourier
Formalisation of mean Fourier analysis in Lean 4
#math
#harmonic-analysis
Displaying
1-4
of
4
versions of
MeanFourier
Sort by
Date
Not a part of any version track.
d781cd1
11 days ago
Released on April 14, 2026 at 2:08:14PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.29.0
Not a part of any version track.
da39b8e
v4.29.0
24 days ago
Released on April 1, 2026 at 3:50:41PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.29.0
Not a part of any version track.
e794f4a
v4.28.0
a month ago
Released on March 11, 2026 at 1:53:50PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.28.0
Not a part of any version track.
f88ac7f
v4.27.0
3 months ago
Released on February 5, 2026 at 9:37:50AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.27.0
1
20