History

Palomar: A registry of Lean verified mathematics

Open thread

First rank

21

Best rank

2

Last rank

30

Observations

139

First seen

1787110247

Last seen

1787161964

Missing captures

0

Milestones

2

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

1. Rank 30

   163 points · 37 comments · observed 1787161964

2. Rank 29

   163 points · 37 comments · observed 1787161582

3. Rank 29

   162 points · 37 comments · observed 1787161196

4. Rank 27

   162 points · 37 comments · observed 1787160816

5. Rank 26

   160 points · 37 comments · observed 1787160426

6. Rank 26

   160 points · 37 comments · observed 1787160042

7. Rank 26

   158 points · 37 comments · observed 1787159651

8. Rank 26

   157 points · 37 comments · observed 1787159269

9. Rank 25

   156 points · 37 comments · observed 1787158886

10. Rank 26

    156 points · 37 comments · observed 1787158500

11. Rank 25

    155 points · 37 comments · observed 1787158114

12. Rank 23

    155 points · 37 comments · observed 1787157730

13. Rank 21

    153 points · 37 comments · observed 1787157340

14. Rank 20

    151 points · 37 comments · observed 1787156954

15. Rank 20

    150 points · 37 comments · observed 1787156579

16. Rank 20

    149 points · 37 comments · observed 1787156194

17. Rank 20

    149 points · 37 comments · observed 1787155812

18. Rank 20

    149 points · 37 comments · observed 1787155419

19. Rank 18

    149 points · 36 comments · observed 1787155030

20. Rank 17

    149 points · 36 comments · observed 1787154639

21. Rank 16

    149 points · 36 comments · observed 1787154260

22. Rank 15

    146 points · 33 comments · observed 1787153871

23. Rank 15

    146 points · 32 comments · observed 1787153491

24. Rank 15

    145 points · 32 comments · observed 1787153098

25. Rank 14

    144 points · 32 comments · observed 1787152715

26. Rank 14

    144 points · 32 comments · observed 1787152335

27. Rank 14

    144 points · 32 comments · observed 1787151946

28. Rank 14

    143 points · 32 comments · observed 1787151564

29. Rank 14

    142 points · 32 comments · observed 1787151186

30. Rank 14

    142 points · 32 comments · observed 1787150803

31. Rank 15

    142 points · 32 comments · observed 1787150414

32. Rank 15

    142 points · 32 comments · observed 1787150026

33. Rank 14

    141 points · 32 comments · observed 1787149644

34. Rank 14

    141 points · 31 comments · observed 1787149267

35. Rank 14

    139 points · 31 comments · observed 1787148883

36. Rank 14

    138 points · 31 comments · observed 1787148498

37. Rank 14

    138 points · 31 comments · observed 1787148119

38. Rank 14

    138 points · 31 comments · observed 1787147734

39. Rank 12

    135 points · 31 comments · observed 1787147348

40. Rank 11

    135 points · 30 comments · observed 1787146964

41. Rank 11

    135 points · 29 comments · observed 1787146590

42. Rank 10

    134 points · 29 comments · observed 1787146220

43. Rank 9

    134 points · 29 comments · observed 1787145842

44. Rank 9

    132 points · 29 comments · observed 1787145470

45. Rank 9

    130 points · 29 comments · observed 1787145090

46. Rank 9

    130 points · 28 comments · observed 1787144711

47. Rank 9

    128 points · 26 comments · observed 1787144322

48. Rank 9

    128 points · 26 comments · observed 1787143937

49. Rank 9

    127 points · 25 comments · observed 1787143559

50. Rank 9

    125 points · 25 comments · observed 1787143173

51. Rank 8

    124 points · 25 comments · observed 1787142794

52. Rank 8

    124 points · 23 comments · observed 1787142416

53. Rank 8

    123 points · 21 comments · observed 1787142040

54. Rank 8

    120 points · 21 comments · observed 1787141665

55. Rank 8

    120 points · 19 comments · observed 1787141288

56. Rank 8

    118 points · 19 comments · observed 1787140910

57. Rank 7

    118 points · 19 comments · observed 1787140536

58. Rank 7

    117 points · 19 comments · observed 1787140170

59. Rank 6

    116 points · 19 comments · observed 1787139800

60. Rank 6

    115 points · 19 comments · observed 1787139430

61. Rank 7

    114 points · 19 comments · observed 1787139061

62. Rank 7

    113 points · 19 comments · observed 1787138684

63. Rank 7

    113 points · 19 comments · observed 1787138314

64. Rank 7

    113 points · 18 comments · observed 1787137941

65. Rank 6

    112 points · 18 comments · observed 1787137575

66. Rank 5

    112 points · 18 comments · observed 1787137200

67. Rank 5

    111 points · 18 comments · observed 1787136831

68. Rank 5

    110 points · 18 comments · observed 1787136460

69. Rank 5

    107 points · 17 comments · observed 1787136089

70. Rank 5

    106 points · 17 comments · observed 1787135721

71. Rank 5

    106 points · 16 comments · observed 1787135352

72. Rank 4

    105 points · 16 comments · observed 1787134981

73. Rank 4

    104 points · 16 comments · observed 1787134612

74. Rank 3

    104 points · 16 comments · observed 1787134250

75. Rank 3

    104 points · 16 comments · observed 1787133885

76. Rank 3

    103 points · 16 comments · observed 1787133520

77. Rank 3

    100 points · 16 comments · observed 1787133155

78. Rank 4

    100 points · 16 comments · observed 1787132784

79. Rank 4

    100 points · 17 comments · observed 1787132415

80. Rank 4

    99 points · 17 comments · observed 1787132055

81. Rank 4

    98 points · 17 comments · observed 1787131687

82. Rank 4

    98 points · 17 comments · observed 1787131321

83. Rank 4

    98 points · 17 comments · observed 1787130964

84. Rank 5

    97 points · 17 comments · observed 1787130595

85. Rank 4

    96 points · 17 comments · observed 1787130228

86. Rank 4

    96 points · 17 comments · observed 1787129861

87. Rank 4

    94 points · 17 comments · observed 1787129492

88. Rank 4

    94 points · 17 comments · observed 1787129122

89. Rank 4

    93 points · 17 comments · observed 1787128758

90. Rank 4

    93 points · 17 comments · observed 1787128394

91. Rank 4

    91 points · 17 comments · observed 1787128023

92. Rank 4

    90 points · 17 comments · observed 1787127649

93. Rank 5

    90 points · 17 comments · observed 1787127276

94. Rank 3

    87 points · 16 comments · observed 1787126903

95. Rank 4

    86 points · 16 comments · observed 1787126522

96. Rank 4

    85 points · 16 comments · observed 1787126146

97. Rank 5

    82 points · 16 comments · observed 1787125767

98. Rank 5

    79 points · 16 comments · observed 1787125389

99. Rank 5

    78 points · 16 comments · observed 1787125013

100. Rank 5

     75 points · 16 comments · observed 1787124633

101. Rank 5

     74 points · 16 comments · observed 1787124258

102. Rank 4

     74 points · 15 comments · observed 1787123883

103. Rank 4

     73 points · 15 comments · observed 1787123508

104. Rank 2

     71 points · 13 comments · observed 1787123135

105. Rank 3

     68 points · 13 comments · observed 1787122758

106. Rank 3

     65 points · 12 comments · observed 1787122377

107. Rank 3

     63 points · 11 comments · observed 1787121994

108. Rank 3

     63 points · 11 comments · observed 1787121619

109. Rank 3

     61 points · 11 comments · observed 1787121254

110. Rank 4

     59 points · 11 comments · observed 1787120881

111. Rank 4

     59 points · 10 comments · observed 1787120509

112. Rank 4

     59 points · 9 comments · observed 1787120133

113. Rank 4

     58 points · 8 comments · observed 1787119765

114. Rank 4

     57 points · 7 comments · observed 1787119399

115. Rank 3

     57 points · 6 comments · observed 1787119033

116. Rank 4

     54 points · 6 comments · observed 1787118668

117. Rank 3

     54 points · 6 comments · observed 1787118306

118. Rank 3

     53 points · 6 comments · observed 1787117942

119. Rank 3

     50 points · 5 comments · observed 1787117580

120. Rank 3

     47 points · 5 comments · observed 1787117217

121. Rank 3

     47 points · 4 comments · observed 1787116847

122. Rank 3

     46 points · 4 comments · observed 1787116479

123. Rank 3

     43 points · 4 comments · observed 1787116115

124. Rank 3

     41 points · 4 comments · observed 1787115755

125. Rank 3

     38 points · 4 comments · observed 1787115388

126. Rank 3

     33 points · 3 comments · observed 1787115023

127. Rank 4

     31 points · 3 comments · observed 1787114658

128. Rank 4

     29 points · 3 comments · observed 1787114291

129. Rank 5

     28 points · 3 comments · observed 1787113924

130. Rank 5

     27 points · 2 comments · observed 1787113556

131. Rank 5

     24 points · 1 comments · observed 1787113185

132. Rank 5

     22 points · 1 comments · observed 1787112820

133. Rank 5

     20 points · 0 comments · observed 1787112446

134. Rank 5

     17 points · 0 comments · observed 1787112072

135. Rank 7

     13 points · 0 comments · observed 1787111708

136. Rank 8

     10 points · 0 comments · observed 1787111344

137. Rank 10

     7 points · 0 comments · observed 1787110981

138. Rank 21

     5 points · 0 comments · observed 1787110614

139. Rank 21

     4 points · 0 comments · observed 1787110247

Unofficial Hacker News client; not affiliated with Y Combinator.