magmide

実践的なソフトウェアエンジニアが検証済みで安全なベアメタルコードを作成できるように設計された、依存型証明言語。