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