Tuesday, 29 May 2018

New top story on Hacker News: Theorem Proving in Lean

Masti Karlo Ub 12:06 Hacker News , 0 Comments

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

Crafted with by TemplatesYard | Distributed by Gooyaabi Templates