Claude Skill
2
APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
Python Apache-2.0 Updated 2w ago
r-irbe
0
0