Agent Skills: isabelle-hol-interface
Interface with Isabelle/HOL for classical mathematics formalization
theorem-provingID: a5c-ai/babysitter/isabelle-hol-interface
244
Install this agent skill to your local
Skill Files
Browse the full folder contents for isabelle-hol-interface.
Loading file tree…
Select a file to preview its contents.