behold
An extention of the package HOL implementing the syntax of classical higher-order logic. Also includes a parser for TPTP TH0 syntax to the internal term representation of HOL.
Maintained on Hex by jcschuster
Latest version
1.1.3
Last run
Aug 23, 2026
Checks
4
| Target / check | Status | Firmware size | Run |
|---|---|---|---|
|
host
host
|
pass | — | behold-1.1.3-1787467735745 |
|
nerves_system_mangopi_mq_pro
0.17.1
|
pass | 25592912 | behold-1.1.3-1787467735745 |
|
nerves_system_rpi4
2.1.1
|
pass | 41924181 | behold-1.1.3-1787467735745 |
|
nerves_system_x86_64
1.34.1
|
pass | 29409447 | behold-1.1.3-1787467735745 |
Add this badge to your README
It updates itself as behold's compatibility is reassessed.
Markdown
HTML