github.com/agl/theorem_proving_in_lean4 ↗

agl/theorem_proving_in_lean4

Not scanned yet

This repository hasn’t been scanned yet. Open it in a browser to run a scan.

← back to gitsafehub

gitsafehub by BitVibe Labs About the verdict Terms Privacy [email protected]

© 2026 BitVibe Labs. GitHub, Microsoft, Gitleaks, Trivy, OSV-Scanner, Semgrep, OpenSSF, Scorecard, DataDog, and Guarddog are trademarks or registered trademarks of their respective owners; references on this page are nominative and descriptive. gitsafehub is not affiliated with, endorsed by, sponsored by, or partnered with any of them. Scan results are informational and do not constitute a security audit; they are produced by the third-party open-source tools listed above, and gitsafehub does not warrant the accuracy or completeness of those tools’ output. See Terms for the full disclaimer.