Software Development
Theorem Prover Interface
Interface with interactive theorem provers for mechanized verification
- Publisher / source
- a5c-ai/babysitter (found on GitHub top repositories)
- Upstream record
- a5c-ai/babysitter
- Version
- Version 1
- Published
- Publication review
- Approved for publication · recorded passed scan 2026-11-08
- Content fingerprint
51ba99fce4abf6ef2f45bd63a80e96e74c62bb1f1eca0266553966206c0d2d11