Hi, maintainer/author of Magmide here: https://github.com/magmide/magmide#is-it-actually-useful-to-prove-code-meets-some-specification-if-we-still-have-to-trust

Hi, maintainer/author of Magmide here: https://github.com/magmide/magmide#is-it-actually-useful-to-prove-code-meets-some-specification-if-we-still-have-to-trust-the-specification https://github.com/magmide/magmide#is-it-actually-useful-to-...