类库
› formal-conjectures
google-deepmind/formal-conjectures
这个仓库包含了一系列用Lean形式化的数学猜想，旨在为自动定理证明与形式化工具提供基准，促进数学库扩展。
技术栈
site/worker javascript
查看全部依赖 (1)
开发依赖
wrangler
^4
