z3-fstar (math/z3) Add to my watchlist
F*-qualified release of the Z3 Theorem ProverPrivate version of the Z3 theorem prover for use by (and qualified to work with) F*.
Version: 4.8.5 License: MIT![](/static/images/github.png)
Statistics for selected duration
2024-Aug-09 to 2024-Sep-08
Total Installations | 2 |
---|---|
Requested Installations | 2 |
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