magmide / magmide

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

magmide/magmide Stargazers