Plasma Physics at TU Graz
We are the Plasma Physics group at the Institute of Theoretical and Computational Physics at Graz University of Technology.
Pinned Loading
Repositories
Showing 10 of 74 repositories
- STELLOPT Public Forked from PrincetonUniversity/STELLOPT
Experimental ITP (TU Graz) fork of STELLOPT with fixes not in upstream. Not supported by the upstream developers.
- stafford38-supplementary Public
Read Stafford’s Conjecture 3.8 paper and Lean proof side by side, with source links and offline HTML.
- kin6d Public
Design and roadmap for certified full-distribution plasma kinetics in Fortran, with a Lean proof layer.
- stafford38-formal Public
- NEO-2 Public
- paper-lean-audit Public
Generate reproducible HTML correspondence reviews for LaTeX papers and Lean proofs
Top languages
Loading…
Most used topics
Loading…