Repos by isabelle-prover
isabelle-prover / repos
29 repos
| Repo | Language | Stars | Rank | |
|---|---|---|---|---|
 | mirror-isabelle | Isabelle | 64 | 13 |
| isabelle-linter | Scala | 17 | 6,295 |
| cookbook | Isabelle | 15 | 31 |
| proving-contest-backends | Python | 12 | 329,711 |
| mirror-afp-devel | Isabelle | 5 | 75 |
| admin | Python | 4 | 746,375 |
| isabelle-prover.github.io | HTML | 3 | 206,531 |
| inductive_sledgehammer | C++ | 2 | 411,462 |
| mirror-afp-2016 | Isabelle | 2 | 186 |
| mirror-afp-2018 | Isabelle | 2 | 173 |