4 ms·
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.
by black_knight 12d 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.
- refulgentis 12d agoIs any piece you've seen in good enough shape to be in a Lean library?