@jrh13
Showing 1 vetted skills indexed across 1 GitHub repositories.
Automate HOL Light theorem proving with MCP tools for goal setting and tactic application.
