Source

smithery/cameronfreer

1 skills · 0 combined installs

Skills from this source

#

Skill

Source

8W Activity

Installs

lean4 Use when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to synthesize instance, axiom war…

smithery/cameronfreer