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 22d 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 22d agoIs any piece you've seen in good enough shape to be in a Lean library?