z3-fstar (math/z3) Add to my watchlist

F*-qualified release of the Z3 Theorem Prover

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

Version: 4.8.5 License: MIT GitHub
Displaying statistics for 1,031 users who made submissions during: until

Statistics for selected duration

2024-May-17 to 2024-Jun-16

Total Installations 3
Requested Installations 3

macOS Versions

Loading Chart

Port Versions

Loading Chart

Xcode Versions

Loading Chart

CLT Versions

Loading Chart

Variants table

Variants Count

Monthly Statistics

Can remain cached for up to 24 hours