Theorem Proving in Lean
117 by benwr | 12 comments on Hacker News.
Subscribe to:
Post Comments (Atom)
-
Article URL: https://www.dropsitenews.com/p/meta-facebook-tech-copyright-privacy-whistleblower Comments URL: https://news.ycombinator.com/i...
-
By BY THE NEW YORK TIMES from NYT U.S. https://ift.tt/2JDppgp via IFTTT
No comments:
Post a Comment