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 968 users who made submissions during: until

Statistics for selected duration

2023-Nov-11 to 2023-Dec-11

Total Installations 2
Requested Installations 2

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