Plugin Claude Code
Bundles 2 skills, 2 commands, 1 MCP server · 390 tokens together
Find out what a Lean 4 project rests on and why — inherited sorry, nativedecide, and which step introduced an axiom, with statement dependencies kept apart from proof dependencies.
not rated 2 13d ago A
tokens not measured
original Apache-2.0