YaelDillies/mean-fourier
Formalisation of mean Fourier analysis in Lean 4
GitHub repository with 5 stars and 1 forks.
Language: Lean
Topics: harmonic-analysis, lean4
24h trend summary
Trending score 0.10, freshness score 0.96, stars gained not enough history, forks gained not enough history.
Latest metric snapshot
2026-06-15: 5 stars and 1 forks.