NavierStokesAndEuler: formally verified fluid-dynamics results
A repository that pairs reported results about breakdown of smooth fluid motion with Lean proofs and instructions for independent checking.
From Github Awesome — GitHub Trending Weekly #48: pr-lens, bankmcp, niubigeo, i-have-adhd, bot-crossing, Spun, Flectar at 13:21
Problem: Reported mathematical results can be difficult to independently verify without machine-checkable formalizations.
For: Mathematicians, formal-methods researchers, and educators studying verified mathematics.
Products from this video
Anthropic anything2explainer Astra Advisor Bang Motion BankMCP Blender Booking Microservices Bot Crossing Browser Use Pi C11 Chrome DevTools Protocol Cider Claude Code CUDA (Compute Unified Device Architecture) DeepSeek DeepSelect Dream Loop Flectar Mail FZF Galileo Gemini Git Gmail Gridline gRPC Hyalite i-have-adhd INSLIB It's Giving Kool Brushez KurrentDB Lean 4 MacTap mador.js Mathlib MediaPipe MetaPost Microsoft Outlook MongoDB NavierStokesAndEuler NiubiGEO npm OKF Agent Memory OpenAI Open-Meteo OpenShaders p5.js Perplexity PostgreSQL PR Lens PyTorch Qt RabbitMQ React rolling-number Rolling Number Rust Spun SuperAstra System Data Unpacked Tailscale Tailtab Three.js tmax tmux V8 Vintage LaTeX Vistep Whiteboard Animator Wolverine Zoom
Examples
- Navier-Stokes with external forcing.