z3-fstar-legacy (math/z3) Updated: 1 year, 2 months ago Add to my watchlist
Legacy F*-qualified release of the Z3 Theorem ProverPrivate version of the Z3 Theorem Prover for use by (and qualified to work with) F* (legacy version).
Version: 4.8.5 License: MIT
GitHub
Statistics for selected duration
2026-Apr-24 to 2026-May-24
| Total Installations | 1 |
|---|---|
| Requested Installations | 0 |
Loading Chart 
Loading Chart
Loading Chart
Loading Chart
| Variants | Count |
|---|
Monthly Statistics
Can remain cached for up to 24 hours
Loading Chart
Percentage of installations per version per month
Loading Chart