Systems Software Engineer @ Neutrality
verifactory. A verifier for Factorio blueprints, enabling one to automatically check logical properties
pancake-verifier. A static verifier for Pancake, based on the Viper verification infrastructure.
