z3-fstar

v 4.13.3 Updated: 7 months, 3 weeks ago

F*-qualified release of the Z3 Theorem Prover

Private version of the Z3 Theorem Prover for use by (and qualified to work with) F*.

https://github.com/Z3Prover/z3

To install z3-fstar, paste this into the macOS Terminal after installing MacPorts

sudo port install z3-fstar

Add to my watchlist

Installations 0
Requested Installations 0