Last released Aug 30, 2026
Reconstructs and audits the mathematics implemented in scientific code, with theory comparison and auditable code generation