← Back to overview NOTEBOOK

Fusion Burn Control Verification Report

This interactive notebook was generated by Lemma, powered by Axiomatic_Intelligence. It runs on Marimo, a next-generation Python notebook built for reproducibility and interactivity.

Prompt

Write a report on the proof of stability of the fusion reactor controller design proposed in the attached paper. Prove it in lean4. Make interactive plots on the stability performance of the new design versus the classical design.

Open the left sidebar to adjust the parameters of the notebook.