Top Isabelle developers globally
languages / Isabelle / global667 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 21 |  | kolya-vasiliev | 2 | 22 |
| 22 |  | logic-tools | 9 | 22 |
| 23 |  | m-fleury | 1 | 21 |
| 24 |  | wimmers | 10 | 19 |
| 25 |  | moajohansson | 1 | 19 |
| 26 |  | WasmCert | 1 | 18 |
| 27 |  | ekpyron | 1 | 17 |
| 28 |  | SKolodynski | 1 | 16 |
| 29 |  | johnwickerson | 1 | 16 |
| 30 |  | LVPGroup | 3 | 15 |