Lancern's Treasure Chest
14:41 · May 29, 2022 · Sun
https://github.com/magmide/magmide
GitHub
GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working…
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. - magmide/magmide
Home
Powered by
BroadcastChannel
&
Sepia