NMF Formalization This repository contains the Lean Code to formalize the theory underneath the .NET Modeling Framework.