Pinned Repositories
magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
purpose-talk
magmide's Repositories
magmide/magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
magmide/purpose-talk