用途与标签
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.用之前确认
- 没有声明许可证：商用和分发条件无法确认，使用前请联系作者。
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.