Reflections on Trusting Lean

(arxiv.org)

1 points | by bananaflag 9 hours ago ago