GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
google-deepmind
/
formal-conjectures
Public
A collection of formalized statements of conjectures in Lean.
Apache License 2.0
Updated Feb 8, 2026
Created May 12, 2025
View on GitHub
816
stars
219
forks
18
watchers
769
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
MO
mo271
240 commits
SM
smmercuri
182 commits
PA
Paul-Lez
142 commits
CA
callesonne
39 commits
CO
CoolRmal
32 commits
YA
YaelDillies
29 commits
DA
danielchin
28 commits
SE
seewoo5
23 commits
FE
felixpernegger
20 commits
RE
Reklle
19 commits
Recent Stargazers
ER
eric-wieser
9 months ago
JU
Julian
9 months ago
MA
madvorak
9 months ago
SO
soonhokong
9 months ago
ER
EricGT
9 months ago
AL
albanie
9 months ago
HA
harahu
9 months ago
BV
bvoq
9 months ago
RE
reonokiy
9 months ago
JU
justincasher
9 months ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
2,615
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 74
Closed Issues 26
Open Issues
100
Activity Peak
Most recent day with highest activity
Feb 9, 2026 • 3 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.