magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
811 stars
51 watching
13 forks
Language: Coq
last commit: 6 months ago coqdependent-typesformal-methodsformal-verificationlogicsystems-programmingtype-safetyverification