News for hackers. Stuff that matters.
Re:Palomar: A registry of Lean verified mathematics by kachnuv_ocasek on Wednesday August 19, 2026 @04:12AM (#49358548)
I don't think these two possibilities are entirely exclusive. He could be using GH as a synonym for Git, but it's also the case the Palomar only works for GH repositories

There are no comments on this comment yet.