Agda vs HOL Light
Agda
wiki.portal.chalmers.seHOL Light
hol-light.github.ioSide by side
| Figure | Agda | HOL Light |
|---|---|---|
| Price from | — | — |
| Free plan | — | — |
| Free trial | — | — |
| Open source | — | — |
| Web | Yes | Yes |
| Windows | Yes | Yes |
| macOS | Yes | Yes |
| Linux | Yes | Yes |
| Self-hosted | Yes | Yes |
| Plans published | 0 | 0 |
| Spec score · Formal Verification Tools | 8.1 (#5) | 7.5 (#21) |
In their own words
HOL Light
HOL Light has no write-up on Specifiction yet; its figures are above.