Hi, maintainer/author of Magmide here: https://github.com/magmide/magmide#isnt-is-undecidable-to-prove-a-program-terminates-or-is-correct https://github.com/mag

Hi, maintainer/author of Magmide here: https://github.com/magmide/magmide#isnt-is-undecidable-to-prove-a-program-terminates-or-is-correct https://github.com/magmide/magmide#isnt-is-undecidable-to-pr...