GraphCanon updated today · GitHub synced today
1.3k
Stars
126
Forks
4
Open issues
15
Watchers
3w
Last push
C++ MITCreated Sep 9, 2023
Trust & integrity
Full report- Maintenance
- Active (20d since push)
- As of today · Source: github_public_v1
- Provenance
- Not a fork · Organization account
- As of today · Source: github_public_v1
- Security (OSV)
- No lockfile
- As of today · Source: none
Public GitHub metadata and optional OSV dependency scans. Signals, not a guarantee. Trust methodology.
Overview
LLMs as Copilots for Theorem Proving in Lean
Capability facts
- Languages
- c++
Source: github.language · Jul 11, 2026