Repos

Code I've published, with a short note on each.

I just formalised a key part of geometric dimensioning and tolerancing (GD&T) which is the standard language used by engineers for communicating how much a manufactured part is allowed to vary from its original, intended…

Formalising NASA-STD-5001B OliverP255/nasa5001b-lean

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 verifie…

I'm doing research to make engineered physical systems formally verifiable.