Comment by blainehansen

Hi, maintainer/author of Magmide here: https://github.com/magmide/magmide#is-logically-verifying-co...