Comment by black_knight
9 hours ago
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.
9 hours ago
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?