Repos

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

Formalising GD&T OliverP255/formal-gdt

Making geometric dimensioning and tolerancing formal in Lean 4.

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

Making aerospace structural analysis tests formal in Lean 4.

Oliver Pryce

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