lean4-proofs

•published 2026/01/26

Guidelines for theorem proving in Lean 4, including project setup and proof conventions.

Install directly with the `skills` CLI.

npx skills add Polterageist/ai-tools/skills/lean4-proofs

Download only this skill directory.

File Explorer

0 files

No file selected

readonly

Select a file to view its content