magmide
Results
1
repositories owned by
magmide
magmide
807
Stars
14
Forks
Watchers
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
