Skip to content
#

mpmath

Star

Here is 1 public repository matching this topic...

Language: Lean
Filter by language
All 32 Python 24 Jupyter Notebook 4 TeX 2 HTML 1 Lean 1

teal-sea / zeta-lab

Star 4

A computational and formal workbench around the Riemann zeta function: kernel-checked Lean proofs, ball-arithmetic enclosures, structure-matched negative controls, and the dead ends published beside the results. Makes no claim of progress toward RH.

reproducible-research proof-assistant computational-mathematics arbitrary-precision riemann-zeta interval-arithmetic formal-verification number-theory mathlib mpmath riemann-hypothesis lean4 ai-for-math
  • Updated Sep 22, 2026
  • Lean

Add this topic to your repo

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

Learn more