alt Hacker NewsKevin might not care, but I care more about building the foundation for future proofs and human understanding than I do about this particular result.
Kevin might not care, but I care more about building the foundation for future proofs and human understanding than I do about this particular result.
Is any piece you've seen in good enough shape to be in a Lean library?