google-deepmind/formal-conjectures
说明与用途
google-deepmind/formal-conjectures：google-deepmind/formal-conjectures may be useful when its README and activity match a concrete workflow.。适合用于Misc。Early or unclear: treat as research material until maintenance, releases, docs, and issue activity are verified.
实际用途
google-deepmind/formal-conjectures may be useful when its README and activity match a concrete workflow.
限制与审查说明
Early or unclear: treat as research material until maintenance, releases, docs, and issue activity are verified.
- 来源: github
- 语言: Lean
- 记录日期: 2026-09-05T17:31:13.880Z