#

dirichlet-eta

Here is 1 public repository matching this topic...

Alektronnik / M4TH

Formalised mathematics in Lean 4.

conservation-laws solitons millennium-problems kdv hyperbolic-pdes lean4 mathlib4 dispersive-pde gradient-blow-up innedito dirichlet-eta riemman-zero-counting logarithmic-residues

Updated Jul 30, 2026
Lean

Add this topic to your repo

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