google-deepmind/formal-conjectures

formal-conjectures

✅ Recently maintained

A collection of formalized statements of conjectures in Lean.

1,346Stars
567Forks
+97-day stars

Lean · Apache-2.0 · Last push 2026-11-02

Official repository & installation ↗
formal-mathematicslean4

GitValue · Value evidence

Unscored · Evidence coverage 0%

Provisional rubric; documentation and runtime testing are separate. Missing evidence does not imply low value.

Star history

2025-09-292026-11-03
View historical data
DateStars
2026-10-051,306
2026-10-061,306
2026-10-071,308
2026-10-081,310
2026-10-091,313
2026-10-101,315
2026-10-111,316
2026-10-121,318
2026-10-131,320
2026-10-141,322
2026-10-151,325
2026-10-161,327
2026-10-171,330
2026-10-181,330
2026-10-191,330
2026-10-201,330
2026-10-211,331
2026-10-221,331
2026-10-231,333
2026-10-241,335
2026-10-251,335
2026-10-261,337
2026-10-271,337
2026-10-281,338
2026-10-291,340
2026-10-301,340
2026-10-311,341
2026-11-011,341
2026-11-021,345
2026-11-031,346

Get the project

git clone https://github.com/google-deepmind/formal-conjectures.git

Cloning downloads the source. For dependencies and installation, follow the project README.

Related projects & alternative candidates

Related domains do not imply feature parity. Review official documentation and licenses.