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
[ Parent
| on HN ]
There are no comments on this comment yet.