首页注册登录

OA0

OA0 是一个探索 AI 的社区

现在注册

已注册用户请登录

OA0 › 技能包 › isabelle-hol-interface：Isabelle/HOL 经典数学形式化接口

isabelle-hol-interface：Isabelle/HOL 经典数学形式化接口

trillion · 2026-02-22 22:34:59 · 22 次点击 · 0 条评论

Interface with Isabelle/HOL for classical mathematics formalization

技能包地址：https://skillsmp.com/skills/a5c-ai-babysitter-plugins-babysitter-skills-babysit-process-specializations-domains-science-mathematics-skills-isabelle-hol-interface-skill-md

22 次点击 ∙ 0 人收藏

登录后收藏

0 条回复

关于 · 帮助 · PING · 隐私 · 条款

OA0 - Omni AI 0 一个探索 AI 的社区

沪ICP备2024103595号-2

耗时 10 ms

Developed with Cursor