openai/NavierStokesAndEuler
- Total stars
- 2,102
- Today
- +3since 00:25 UTC
Save to My finds to follow releases and star growth. Saved in this browser.
About the project
Lean 4 formalizations of finite-time blowup results for the Navier–Stokes and Euler equations, including certificates for Millennium Prize problems. Intended for mathematicians and formal proof researchers.
Useful for
- Check the formal proofs of blowup results for the Navier–Stokes equations
- Build the project with Mathlib via lake build for independent certificate checking
- Study the Lean 4 formalization of Euler equation singularity results
README summarized by DeepSeek V4.1 Flash. Details may be inaccurate. Read the original README →
Star growth looks organic. Data as of October 17, 2026, 23:45 UTC.
The star-growth assessment does not verify whether the project is safe to run.
Stars per day
Bars show stars per UTC day; the line is a moving average of available history. Gaps mean missing data, not zero growth. Today's bar is incomplete. Red marks spike days.
Why it’s trending
- Star-counter measurements on 2026-10-17 (UTC), 00:25–23:43: 2099 → 2102 stars (+3). This is the change over that interval.
- The repository is 39 days old and already has 2,102 stars.
Measured growth: the last 7 completed days
The full 7-day window is unavailable; no weekly total or comparison is calculated.
Daily measurements · UTC
- October 22, 2026
- —
- October 23, 2026
- —
- October 24, 2026
- —
- October 25, 2026
- —
- October 26, 2026
- —
- October 27, 2026
- —
- October 28, 2026
- —
Largest measured day in the last 30 days: 17 · October 8, 2026. Days with data: 19.
Completed days come from GitHub star history; today and forecasts are excluded from this comparison. History checked: October 17, 2026, 23:45 UTC. Sources and measurement limits →
Three GitHub discoveries in each edition
What they do, why they are gaining interest, and what to check before using them.
Editions at 10:00, 16:00, 22:00 MSK.
Numbers
- Total stars
- 2,102
- Today
- +3 stars measured 2026-10-17, 00:25–23:43 UTC
- Forks
- 221
- Issues and pull requests
- 0
- Watchers
- 55
- Language
- Lean
- License
- Apache-2.0
- Created
- September 8, 2026
- Last push
- September 10, 2026
Star trust
Growth looks organic: forks and discussion are in line with active projects, and stars arrive unevenly, the way people give them.
These are heuristics, not a verdict: we judge by the repository’s behavior, not by a list of stargazers.
Spotted in
- October 7, 2026Top new repositories this month: #47
- October 6, 2026Top new repositories this month: #43
- October 5, 2026Top new repositories this month: #41
- October 4, 2026Top new repositories this month: #43
- October 3, 2026Top new repositories this month: #43
- October 2, 2026Top new repositories this month: #43
- October 1, 2026Top new repositories this month: #42
- September 30, 2026Top new repositories this month: #39
- September 29, 2026Top new repositories this month: #38
- September 28, 2026Top new repositories this month: #36
README badge
Paste it into your README — the badge shows the current magnitude and links to this page.
[](https://gitnova.dev/en/r/openai/NavierStokesAndEuler)