11
21
32
Our great sponsors
- Onboard AI - Learn any GitHub repo in 59 seconds
- InfluxDB - Collect and Analyze Billions of Data Points in Real Time
- SaaSHub - Software Alternatives and Reviews
|
Mentions
@
|
Stars | Project | Description | |
|---|---|---|---|---|
| We couldn't find any libraries for the selected period | ||||
Popular Isabelle Topics
Latest Mentions
Latest mentioned Isabelle repos
| Stars | Project |
|---|---|
| 469 | l4v |
| 38 | sortnetopt |
| 157 | cogent |
| 1 | Folklore-and-miscellaneous-results-in... |
| 17 | WasmCert-Isabelle |
| 563 | elle |
| 2 | Lambda-RAM-Compiler |
| 167 | marlowe |
| 0 | ouroboros-high-assurance |
| 9 | isabelle-lambda-calculus |
Latest Discoveries
Latest discovered Isabelle repos
| Stars | Project |
|---|---|
| 38 | sortnetopt |
| 1 | Folklore-and-miscellaneous-results-in... |
| 17 | WasmCert-Isabelle |
| 563 | elle |
| 2 | Lambda-RAM-Compiler |
| 157 | cogent |
| 0 | ouroboros-high-assurance |
| 469 | l4v |
| 9 | isabelle-lambda-calculus |
| 167 | marlowe |
| 13 | scyther-proof |