Source

smithery/Arthur742Ramos

2 skills · 0 combined installs

Skills from this source

#

Skill

Source

8W Activity

Installs

lean-build Build, test, and debug Lean 4 projects using Lake. Use when building the ComputationalPaths project, checking for err…

smithery/Arthur742Ramos

path-tactics Use ComputationalPaths path tactics to automate common RwEq goals (path_simp/path_auto/path_normalize), and structure…

smithery/Arthur742Ramos