A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. - magmide/magmide
No pages have linked to this URL yet.
Log in or sign up to submit feeds.