Formalising NASA-STD-5001B
In this repo, I used Lean 4 to formalise structural analysis tests for aerospace hardware. This repo does two things: it formalises key parts of NASA-STD-5001B, then lets you plug in an FEA simulator and formally verifies the correctness of that simulator's computation.
