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