Repos by HOL-Theorem-Prover
HOL-Theorem-Prover / repos
4 repos
«1»
| Repo | Language | Stars | Rank | |
|---|---|---|---|---|
 | HOL | Standard ML | 592 | 7 |
| hol-guidebook | CSS | 11 | 24,684 |
| hol-webpages | HTML | 3 | 215,723 |
| armv8.6-asl-snapshot | Standard ML | 1 | 858 |
HOL-Theorem-Prover / repos
4 repos
| Repo | Language | Stars | Rank | |
|---|---|---|---|---|
| HOL | Standard ML | 592 | 7 |
| hol-guidebook | CSS | 11 | 24,684 |
| hol-webpages | HTML | 3 | 215,723 |
| armv8.6-asl-snapshot | Standard ML | 1 | 858 |