havocjust made a nix flake so I could have a dev shell for yosys and synlig. Hopefully will make a plugin for Yosys to expand its formal verification abilities.
Or fail miserably because I don't know what I'm doing, tune in next week for self doubt, chaos and lots of gnashing of teeth!