mrconter2
Re:Grok Outage
on Thursday September 03, 2026 @11:42AM (#49551885)
A bit suspicious no doubt
Re:Palomar: A registry of Lean verified mathematics
on Wednesday August 19, 2026 @02:14AM (#49357538)
https://theoremdb.org/
Seems to be doing exactly the same?