The Formal Programming Language Toolchain
Owned by Nathan Dixon.
#1247 in WebAssembly
Used in formal-cli
2KB