At a Glance
| Applications | Theorem Prover |
| Interfaces | CLI |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Description
Qrhl-tool is an interactive theorem prover for qRHL (quantum relational Hoare logic), specifically for quantum and post-quantum security proofs.