Repos by isabelle-prover
isabelle-prover / repos
29 repos
| Repo | Language | Stars | Rank | |
|---|---|---|---|---|
 | conventions | HTML | 2 | 365,372 |
| isabelle-tools-collection | Scala | 2 | 22,963 |
| isabelle-context-build | Scala | 2 | 22,847 |
| isabelle-go-codegen | Standard ML | 2 | 577 |
| mirror-afp-2016-1 | Isabelle | 1 | 342 |
| mirror-afp-2017 | Isabelle | 1 | 335 |
| mirror-afp-2019 | Isabelle | 1 | 326 |
| opentheory-component | Isabelle | 1 | 322 |
| afp-submission | Python | 1 | 2,598,428 |
| cakeml-component | C | 1 | 504,904 |