Software Development
Lean Proof Assistant
Interface with Lean 4 proof assistant for formal theorem 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
69a05ed14834b617e2c8c8d5d73327927b9e2443aa9745bef86ab0677caf816f