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 |