This archive contains our core team documents, including our Team Inventory and Team Standards. Additional documents can be added here as the project progresses.
These links provide reference material and official documentation for the tools, languages, and formal methods used throughout the MidGARD project. This section can grow as we incorporate additional technologies.