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