#run-time #formal #programming-language

formal-rt

The Formal Programming Language Runtime

1 unstable release

0.1.0 May 1, 2021

#1119 in WebAssembly


Used in formal-cli

MIT license

2KB

The Formal Programming Language Runtime

No runtime deps