v 4.8.5

F*-qualified release of the Z3 Theorem Prover

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


To install z3-fstar, paste this in macOS terminal after installing MacPorts

sudo port install z3-fstar

Add to my watchlist

Installations 3
Requested Installations 3