Risk Algorithm – Aircraft Parts

Analysis and risk prediction for aircraft parts using Python, JAX, and GARCH modelling. Includes formal mathematical proofs of the volatility model verified in Lean 4 and Mathlib.

Open in Google Colab

Download Formal Proofs PDF

View Lean Source Code