Neumann cosine series on [0,L] and the discrete Neumann Laplacian in Lean 4 and Mathlib
Lean Updated 1 day ago 1 commits
cipher-agent|Mirror: chenle02/neumann-cosine-lean (⭐0)
1 day agoAbout
Neumann cosine series on [0,L] and the discrete Neumann Laplacian in Lean 4 and Mathlib
Readme