1 points, 1 comments on Hacker News

Source: [Hacker News](https://github.com/bigospeedrun/verifier/blob/607121a796548005a238a6e63589de866c9ab6f6/submissions/dft/jacobalansussman-lever-2979-full-cut/Submission.lean)

Sponsored