Hi, maintainer/author of Magmide here: https://github.com/magmide/magmide#gradually-verifiable https://github.com/magmide/magmide#gradually-verifiable https://g

Hi, maintainer/author of Magmide here: https://github.com/magmide/magmide#gradually-verifiable https://github.com/magmide/magmide#gradually-verifiable https://github.com/magmide/magmide#fully-reusable https://github.com/magmide/magmide#fully-reusable https://github.com/magmide/magmide#isnt-formal-verification-impractical-in-practice https://github.com/magmide/magmide#isnt-formal-verification-...