A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda
Web page · https://blueberrywren.dev/blog/primes
First seen by Oriel on .
Metric trends
Last 30 days · Up to 120 recorded samples per source and metric · First and latest retained
Points
Score reported by the source.
- Lobsters: 51, latest observation ; 0 over observed period since
Comments
Comment count reported by the source.
- Lobsters: 21, latest observation ; 0 over observed period since
Aliases
| Source | External ID | URL |
|---|---|---|
| Lobsters | 4dwrz0 | https://blueberrywren.dev/blog/primes/ |