Cluster 639680

4 repos

Python · 2

HTML · 1

Lean · 1

lean4 ·5

interval-arithmetic ·5

reproducible-research ·5

formal-verification ·5

ai-for-math ·4

number-theory ·4

mathlib ·4

computational-mathematics ·4

arbitrary-precision ·4

mpmath ·4

Related clusters

ravanova/blowup-search

An adversarial, fully-banked search for a Navier-Stokes blow-up certificate: 440 legs, no solution…

Python

1,922 commits

teal-sea/zeta-lab

A computational and formal workbench around the Riemann zeta function: kernel-checked Lean proofs,…

Lean

897 commits

8Braid/8db-navier-stokes-evidence

Explore what survives a changed assumption: a Lean-checked Navier-Stokes algebra example,…

HTML

3 commits

torakagemusha-sudo/torafirma-systems

Main public repo for Torafirma Systems: News, Updates and Disclosures

Python

27 commits