Back to all repositories
LI
is-my-lean-proof-vacuous
by LionSR
Detect vacuous Lean 4 proofs — formalizations that compile but don't establish what they claim (fake P=NP and friends)
2stars0forks0watchers/subscribers0issues
- Language
- Python
- License
- MIT License
- Size
- 16.8 MB
- Created
- Jun 4, 2026
- Last Updated
- Jul 29, 2026
- Last Pushed
- Jun 4, 2026
Available Plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.