Type a name, or just describe what you need. Results blend keyword and meaning-based search. 1 matches, each with an EU availability status.
Research
Counterexamples to Grad's conjecture in plasma physics, with a Lean 4 formalization of the main result.
