magmide

一種依賴型別證明語言，旨在讓軟體工程師能夠編寫可證明正確的裸機程式碼。