New top story on Hacker News: Theorem Proving in Lean Champ 08:25 Hacker News No comments Theorem Proving in Lean 3 by benwr | 0 comments on Hacker News. Share This: Facebook Twitter Google+ Stumble Digg Email ThisBlogThis!Share to XShare to Facebook
0 comments:
Post a Comment