实体 Isabel

Isabel

PulseAugur coverage of Isabel — every cluster mentioning Isabel across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

0

90 天内 0

层级分布 · 90 天

主题

其他 1

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

MEME · CL_165461 · Jul 27 · 09:02

AI与数学阅读材料分享于2026年7月27日

此集群包含一项条目，详细介绍了2026年7月27日分享的与AI和数学相关的阅读材料。分享的内容包括对Vestigium、Aristotle和Isabel的引用，标签表明重点是AI在数学中的应用、形式化验证工具如Agda、ITP、IsabelleHOL、LeanProver、Logic、Math、Prolog和RocqProver。