writing-lean-proofs
trailofbits947 installs
Readable Lean proofs, built on clear statements.
About this skill
- Visibility
- Public
- Repository
- trailofbits/skills
- Language
- English
- License
- CC-BY-SA-4.0 (from GitHub repository)
- Created
- Oct 16, 2026
- Updated
- Oct 16, 2026
- Files
- 9