Software Development
Coq Proof Assistant
Interface with Coq proof assistant for formal 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-07
- Content fingerprint
5d8d40daec07d4e8b5d2479445b53b963ab8fb6cc52f253a938f98a405f94dbc