#

reusable-theorems

Here is 1 public repository matching this topic...

gianfranco-romaelle / FourierBochnerLean

A Formal Proof of Bochner’s Theorem and the Fejér–Riesz Factorization on U(1) in Lean 4

functional-programming theorem-proving artificial-intelligence proof-assistant type-theory category-theory lean formal-verification fourier-analysis mathematical-logic formal-mathematics automated-reasoning mathlib harmonic-analysis dependent-type-theory symbolic-reasoning lean4 machine-verification reusable-theorems

Updated May 12, 2026
Lean

Add this topic to your repo

To associate your repository with the reusable-theorems topic, visit your repo's landing page and select "manage topics."