Lib.rs

› WebAssembly › Formal
#formal #run-time #programming-language

formal-rt

The Formal Programming Language Runtime

Owned by Nathan Dixon.

1 unstable release

0.1.0 May 1, 2021

#9 in #formal


Used in formal-cli

MIT license

2KB

The Formal Programming Language Runtime

No runtime deps