Theorem Proving in Lean
115 by benwr | 12 comments on Hacker News.
Subscribe to:
Post Comments (Atom)
-
By BY ERIC GRODE from NYT Theater https://ift.tt/32KJU7H
-
By BY THE NEW YORK TIMES from NYT U.S. https://ift.tt/2JDppgp
-
By BY EITAN D. HERSH from NYT Opinion https://ift.tt/38L2rhL
No comments:
Post a Comment