作品
Isabelle
higher-order logic (HOL) proof assistant
作品
higher-order logic (HOL) proof assistant
在包含此条目的事件档案中探索信息与关系。
还没有包含此条目的事件档案。
从此条目开始调查正在查找与此条目有关的作品或人物。
Isabelle
正在寻找与它相连的内容。
higher-order logic (HOL) proof assistant
结构化信息、用户意见与 AI 提取的关系会分别标注。
等待第一条评论。