This repository contains the Lean Code to formalize the theory underneath the .NET Modeling Framework.
NMFCode/theory
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This repository contains the Lean Code to formalize the theory underneath the .NET Modeling Framework.