A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Why do you think that https://github.com/joonazan/line-combination-proofs is a good alternative to magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Why do you think that https://github.com/joonazan/line-combination-proofs is a good alternative to magmide