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.


No comments:

Post a Comment

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...