blainehansen/magma

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

42 best points · 8 comments · 1 Hacker News post · 841 GitHub stars · View on GitHub

Hacker News discussions

• Magma: A Dependently-Typed Language (42 points, 8 comments, by todsacerdoti, 2021-11-27)