At a Glance
| Applications | Theorem Prover |
| Developers | ConsenSys |
| Interfaces | CLI |
| Licenses | Apache-2.0 |
| Maintenance | Not Maintained |
Description
Not Maintained Since 2014
Hilbert is a theorem prover designed for people who don’t want to learn a theorem prover, specifically students studying formal treatments of programming languages.