At a Glance
| Applications | Theorem Prover |
| Interfaces | CLI |
| Licenses | BSD-3-Clause |
| Maintenance | Actively Maintained |
Description
Holbert is an interactive theorem prover, or proof assistant, based on higher order logic and natural deduction. Furthermore, Holbert is graphical.