Reflections on Trusting Lean

1 pointsposted 9 hours ago
by bananaflag
(arxiv.org)

No comments yet