Hi, maintainer/author of Magmide here: https://github.com/magmide/magmide#is-logically-verifying-code-even-useful-if-that-code-relies-on-possibly-faulty-softwar

Hi, maintainer/author of Magmide here: https://github.com/magmide/magmide#is-logically-verifying-code-even-useful-if-that-code-relies-on-possibly-faulty-softwarehardware https://github.com/magmide/magmide#is-logically-verifying-co...