Tuesday, 29 May 2018

New top story on Hacker News: Theorem Proving in Lean

Theorem Proving in Lean
115 by benwr | 12 comments on Hacker News.


-
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

Charges dropped against Atlanta journalist detained by Ice

Mario Guevara remains in detention in Georgia while his attorneys work to free the Spanish-language reporter The last remaining charges hav...