isabelle-hol-interface

a5c-ai/babysitter/library/specializations/domains/science/mathematics/skills/isabelle-hol-interface

1.7k 0JavaScriptDev Tools
PlatformUniversal

Interface with Isabelle/HOL for classical mathematics formalization

Universal

All Skills