Reflections on Trusting Lean

 (arxiv.org)

1 points | by bananaflag 10 hours ago ago

No comments yet.