alloy forge formal method - ghdrako/doc_snipets GitHub Wiki https://blog.brownplt.org/2024/04/21/forge.html https://alloytools.org/ https://forge-fm.org/ https://sterling-js.github.io/