google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
Language:Lean
Total stars: 130
Stars trend:
28 May 2025
4pm ▎ +2
5pm ▍ +3
6pm ▋ +5
7pm █▋ +13
8pm █▎ +10
9pm ▉ +7
10pm █▎ +10
11pm █▍ +11
29 May 2025
12am ▊ +6
1am ▊ +6
2am █▏ +9
#lean
#formalmathematics, #lean4