Hi, maintainer/author of Magmide here: https://github.com/magmide/magmide#isnt-most-software-too-fuzzy-or-quickly-evolving-to-make-verification-worth-the-effort

Hi, maintainer/author of Magmide here: https://github.com/magmide/magmide#isnt-most-software-too-fuzzy-or-quickly-evolving-to-make-verification-worth-the-effort https://github.com/magmide/magmide#isnt-most-software-too-fu...