hol
A higher order logic pre-unification implementation
Maintained on Hex by jonaloew
Latest version
1.0.2
Last run
Aug 25, 2026
Checks
4
| Target / check | Status | Firmware size | Run |
|---|---|---|---|
|
host
host
|
pass | — | hol-1.0.2-1787691817510 |
|
nerves_system_mangopi_mq_pro
0.17.1
|
pass | 25538293 | hol-1.0.2-1787691817510 |
|
nerves_system_rpi4
2.1.1
|
pass | 41868699 | hol-1.0.2-1787691817510 |
|
nerves_system_x86_64
1.34.1
|
pass | 29355068 | hol-1.0.2-1787691817510 |
Add this badge to your README
It updates itself as hol's compatibility is reassessed.
Markdown
HTML