#4,181 of 5,656 by stars
Z3Prover/z3
The Z3 Theorem Prover
- Stars
- 12,793
- Forks
- 1,703
- Created
- 11y ago
- Last push
- today
Momentum
- Per day
- +5
- Per 7 days
- +21
- Per 30 days
- +104
- Rank, 7 days
- -13
Stars over time
View as table
| Date | Stars |
|---|---|
| Sep 17, 2026 | 12,682 |
| Oct 5, 2026 | 12,751 |
| Oct 12, 2026 | 12,772 |
| Oct 19, 2026 | 12,793 |
Understand this repo
Open it in a tool that explains, diagrams or digests the code.
- Explain A plain-language walkthrough of what the project is and does
- Diagram An interactive architecture diagram of the codebase
- Ingest for AI The whole repository as one text digest to paste into an AI assistant
- Reverse prompt A prompt describing how to rebuild the project
These open independent third-party sites, which may be slow or unavailable for very large repositories.