GasStationManager/LeanTool — Instructions

87Stars on the repository

1Mods indexed here, across every type

7mo agoLast push, which is what freshness is scored on

GPL-3.0Licence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

LeanTool CLAUDE.md

Instructions file

Claude Code instructions for GasStationManager/LeanTool, covering available utilities, development workflow, more detailed instructions and best practices, advanced workflow insights and handling complex proof cases.

87 7mo ago A 1,164 tokens GPL-3.0