jsfp-sharp

F# ★ 0 updated 3y ago

Reimplementation of the JavaScript Formal Prover in F#

No plain-English explanation yet — one is being written right now. Check back in a minute.

Open on GitHub →