isabelle-hol-interface
a5c-ai/babysitter/library/specializations/domains/science/mathematics/skills/isabelle-hol-interface
PlatformUniversal
Interface with Isabelle/HOL for classical mathematics formalization
Universal
a5c-ai/babysitter/library/specializations/domains/science/mathematics/skills/isabelle-hol-interface
Interface with Isabelle/HOL for classical mathematics formalization