Isabelle/HOL 接口

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

1.7k 0JavaScript开发工具
平台通用(跨宿主)

与 Isabelle/HOL 接口以做经典数学形式化。

通用(跨宿主)

全部 skill