Reflections on Trusting Lean

(arxiv.org) by bananaflag | Oct 25, 2026 | 0 comments on HN