History

Fermat's Last Theorem in Lean 4

Open thread

First rank

19

Best rank

10

Last rank

29

Observations

181

First seen

1788553779

Last seen

1788627396

Missing captures

7

Milestones

2

Top is rank 1. Gaps between captures are not reconstructed.

1. Rank 29

   140 points · 28 comments · observed 1788627396

2. Rank 30

   138 points · 28 comments · observed 1788627003

3. Rank 30

   138 points · 27 comments · observed 1788626601

4. Rank 29

   137 points · 27 comments · observed 1788626201

5. Rank 30

   137 points · 27 comments · observed 1788625796

6. Rank 29

   137 points · 27 comments · observed 1788625402

7. Rank 28

   137 points · 27 comments · observed 1788625002

8. Rank 30

   136 points · 27 comments · observed 1788624605

9. Rank 29

   136 points · 27 comments · observed 1788624198

10. Rank 30

    133 points · 26 comments · observed 1788620968

11. Rank 30

    131 points · 26 comments · observed 1788620563

12. Rank 30

    130 points · 26 comments · observed 1788620167

13. Rank 30

    130 points · 26 comments · observed 1788619764

14. Rank 30

    129 points · 26 comments · observed 1788619365

15. Rank 29

    129 points · 26 comments · observed 1788618960

16. Rank 29

    129 points · 26 comments · observed 1788618559

17. Rank 27

    129 points · 25 comments · observed 1788618158

18. Rank 25

    129 points · 25 comments · observed 1788617759

19. Rank 24

    129 points · 25 comments · observed 1788617364

20. Rank 23

    129 points · 25 comments · observed 1788616968

21. Rank 23

    128 points · 25 comments · observed 1788616566

22. Rank 23

    128 points · 25 comments · observed 1788616177

23. Rank 22

    128 points · 25 comments · observed 1788615785

24. Rank 22

    127 points · 25 comments · observed 1788615395

25. Rank 23

    127 points · 25 comments · observed 1788615006

26. Rank 23

    126 points · 25 comments · observed 1788614610

27. Rank 22

    126 points · 25 comments · observed 1788614220

28. Rank 21

    125 points · 25 comments · observed 1788613829

29. Rank 21

    124 points · 25 comments · observed 1788613438

30. Rank 22

    123 points · 23 comments · observed 1788613036

31. Rank 24

    123 points · 23 comments · observed 1788612654

32. Rank 25

    123 points · 22 comments · observed 1788612264

33. Rank 24

    122 points · 21 comments · observed 1788611877

34. Rank 24

    122 points · 21 comments · observed 1788611489

35. Rank 25

    121 points · 21 comments · observed 1788611102

36. Rank 24

    121 points · 21 comments · observed 1788610714

37. Rank 24

    120 points · 21 comments · observed 1788610326

38. Rank 24

    120 points · 21 comments · observed 1788609933

39. Rank 24

    120 points · 21 comments · observed 1788609539

40. Rank 25

    119 points · 21 comments · observed 1788609155

41. Rank 25

    119 points · 21 comments · observed 1788608769

42. Rank 25

    119 points · 21 comments · observed 1788608380

43. Rank 24

    118 points · 21 comments · observed 1788607997

44. Rank 24

    118 points · 21 comments · observed 1788607610

45. Rank 24

    118 points · 21 comments · observed 1788607221

46. Rank 23

    116 points · 21 comments · observed 1788606828

47. Rank 23

    116 points · 21 comments · observed 1788606441

48. Rank 23

    114 points · 21 comments · observed 1788606025

49. Rank 24

    113 points · 21 comments · observed 1788605642

50. Rank 22

    111 points · 21 comments · observed 1788605256

51. Rank 23

    111 points · 21 comments · observed 1788604867

52. Rank 23

    111 points · 21 comments · observed 1788604484

53. Rank 23

    111 points · 21 comments · observed 1788604096

54. Rank 23

    111 points · 21 comments · observed 1788603712

55. Rank 23

    111 points · 21 comments · observed 1788603326

56. Rank 23

    110 points · 21 comments · observed 1788602941

57. Rank 24

    109 points · 21 comments · observed 1788602559

58. Rank 23

    109 points · 21 comments · observed 1788602167

59. Rank 23

    108 points · 21 comments · observed 1788601779

60. Rank 22

    108 points · 21 comments · observed 1788601392

61. Rank 22

    108 points · 21 comments · observed 1788601011

62. Rank 22

    108 points · 20 comments · observed 1788600626

63. Rank 23

    108 points · 20 comments · observed 1788600243

64. Rank 23

    107 points · 20 comments · observed 1788599857

65. Rank 24

    107 points · 20 comments · observed 1788599479

66. Rank 24

    105 points · 20 comments · observed 1788599087

67. Rank 24

    105 points · 20 comments · observed 1788598698

68. Rank 24

    104 points · 20 comments · observed 1788598307

69. Rank 24

    103 points · 20 comments · observed 1788597918

70. Rank 25

    102 points · 20 comments · observed 1788597523

71. Rank 24

    102 points · 20 comments · observed 1788597126

72. Rank 25

    102 points · 19 comments · observed 1788596733

73. Rank 21

    101 points · 19 comments · observed 1788596341

74. Rank 21

    101 points · 19 comments · observed 1788595950

75. Rank 21

    100 points · 19 comments · observed 1788595560

76. Rank 21

    100 points · 19 comments · observed 1788595163

77. Rank 21

    100 points · 19 comments · observed 1788594778

78. Rank 22

    99 points · 19 comments · observed 1788594394

79. Rank 21

    97 points · 19 comments · observed 1788594009

80. Rank 20

    97 points · 19 comments · observed 1788593619

81. Rank 20

    97 points · 19 comments · observed 1788593232

82. Rank 20

    97 points · 19 comments · observed 1788592847

83. Rank 20

    97 points · 19 comments · observed 1788592460

84. Rank 19

    95 points · 19 comments · observed 1788592060

85. Rank 19

    95 points · 19 comments · observed 1788591637

86. Rank 20

    93 points · 19 comments · observed 1788591240

87. Rank 20

    92 points · 18 comments · observed 1788590841

88. Rank 20

    92 points · 17 comments · observed 1788590446

89. Rank 20

    91 points · 17 comments · observed 1788590047

90. Rank 19

    89 points · 17 comments · observed 1788589649

91. Rank 19

    87 points · 17 comments · observed 1788589255

92. Rank 20

    85 points · 17 comments · observed 1788588854

93. Rank 20

    85 points · 17 comments · observed 1788588465

94. Rank 18

    83 points · 17 comments · observed 1788588031

95. Rank 17

    83 points · 17 comments · observed 1788587639

96. Rank 19

    82 points · 17 comments · observed 1788587249

97. Rank 18

    82 points · 17 comments · observed 1788586859

98. Rank 19

    82 points · 17 comments · observed 1788586465

99. Rank 18

    82 points · 17 comments · observed 1788586075

100. Rank 18

     82 points · 17 comments · observed 1788585686

101. Rank 17

     82 points · 17 comments · observed 1788585293

102. Rank 17

     82 points · 17 comments · observed 1788584895

103. Rank 17

     82 points · 16 comments · observed 1788584439

104. Rank 15

     82 points · 15 comments · observed 1788584049

105. Rank 15

     81 points · 15 comments · observed 1788583661

106. Rank 16

     81 points · 15 comments · observed 1788583273

107. Rank 16

     81 points · 15 comments · observed 1788582883

108. Rank 16

     80 points · 15 comments · observed 1788582497

109. Rank 16

     79 points · 15 comments · observed 1788582110

110. Rank 16

     79 points · 15 comments · observed 1788581721

111. Rank 16

     76 points · 15 comments · observed 1788581332

112. Rank 17

     76 points · 15 comments · observed 1788580939

113. Rank 17

     75 points · 15 comments · observed 1788580541

114. Rank 17

     75 points · 15 comments · observed 1788580156

115. Rank 17

     74 points · 15 comments · observed 1788579765

116. Rank 17

     74 points · 15 comments · observed 1788579382

117. Rank 16

     74 points · 15 comments · observed 1788578999

118. Rank 17

     72 points · 15 comments · observed 1788578609

119. Rank 17

     72 points · 15 comments · observed 1788578221

120. Rank 16

     72 points · 15 comments · observed 1788577830

121. Rank 15

     72 points · 15 comments · observed 1788577445

122. Rank 15

     72 points · 15 comments · observed 1788577050

123. Rank 15

     71 points · 15 comments · observed 1788576663

124. Rank 17

     70 points · 15 comments · observed 1788576275

125. Rank 14

     70 points · 15 comments · observed 1788575884

126. Rank 16

     69 points · 15 comments · observed 1788575494

127. Rank 16

     69 points · 15 comments · observed 1788575074

128. Rank 16

     68 points · 15 comments · observed 1788574679

129. Rank 16

     67 points · 15 comments · observed 1788574289

130. Rank 17

     65 points · 15 comments · observed 1788573901

131. Rank 18

     65 points · 15 comments · observed 1788573508

132. Rank 17

     65 points · 15 comments · observed 1788573125

133. Rank 17

     64 points · 15 comments · observed 1788572739

134. Rank 17

     64 points · 15 comments · observed 1788572352

135. Rank 18

     64 points · 14 comments · observed 1788571967

136. Rank 17

     64 points · 14 comments · observed 1788571584

137. Rank 16

     64 points · 14 comments · observed 1788571197

138. Rank 16

     64 points · 14 comments · observed 1788570808

139. Rank 15

     61 points · 14 comments · observed 1788570416

140. Rank 16

     58 points · 14 comments · observed 1788570019

141. Rank 16

     56 points · 14 comments · observed 1788569629

142. Rank 15

     56 points · 14 comments · observed 1788569238

143. Rank 15

     56 points · 14 comments · observed 1788568847

144. Rank 15

     55 points · 13 comments · observed 1788568454

145. Rank 15

     53 points · 11 comments · observed 1788568065

146. Rank 16

     53 points · 11 comments · observed 1788567675

147. Rank 14

     53 points · 11 comments · observed 1788567279

148. Rank 14

     53 points · 11 comments · observed 1788566891

149. Rank 14

     52 points · 11 comments · observed 1788566475

150. Rank 14

     49 points · 10 comments · observed 1788566082

151. Rank 14

     47 points · 10 comments · observed 1788565688

152. Rank 15

     47 points · 10 comments · observed 1788565300

153. Rank 15

     47 points · 10 comments · observed 1788564904

154. Rank 15

     46 points · 10 comments · observed 1788564504

155. Rank 13

     44 points · 10 comments · observed 1788564112

156. Rank 13

     43 points · 10 comments · observed 1788563716

157. Rank 14

     42 points · 10 comments · observed 1788563324

158. Rank 14

     41 points · 10 comments · observed 1788562933

159. Rank 12

     41 points · 10 comments · observed 1788562539

160. Rank 12

     40 points · 9 comments · observed 1788562145

161. Rank 13

     39 points · 9 comments · observed 1788561754

162. Rank 13

     38 points · 9 comments · observed 1788561362

163. Rank 12

     38 points · 8 comments · observed 1788560973

164. Rank 12

     37 points · 7 comments · observed 1788560580

165. Rank 12

     37 points · 7 comments · observed 1788560187

166. Rank 11

     35 points · 6 comments · observed 1788559792

167. Rank 11

     31 points · 6 comments · observed 1788559395

168. Rank 10

     28 points · 6 comments · observed 1788558997

169. Rank 10

     27 points · 5 comments · observed 1788558597

170. Rank 12

     23 points · 5 comments · observed 1788558201

171. Rank 15

     19 points · 3 comments · observed 1788557805

172. Rank 15

     19 points · 3 comments · observed 1788557404

173. Rank 15

     19 points · 3 comments · observed 1788557006

174. Rank 16

     16 points · 3 comments · observed 1788556601

175. Rank 18

     15 points · 3 comments · observed 1788556196

176. Rank 22

     12 points · 3 comments · observed 1788555795

177. Rank 20

     10 points · 3 comments · observed 1788555391

178. Rank 18

     10 points · 3 comments · observed 1788554991

179. Rank 26

     9 points · 3 comments · observed 1788554590

180. Rank 24

     9 points · 3 comments · observed 1788554186

181. Rank 19

     8 points · 2 comments · observed 1788553779

Unofficial Hacker News client; not affiliated with Y Combinator.