What does a lean proof prove?

(supaiku.com) by elcomet | Dec 16, 2025 | 0 comments on HN