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)

Seven more sentenced to prison over protest outside Texas detention center

Judge hands down 50-year sentence to defendant Ines Soto, whose wife Elizabeth was sentenced to same prison term Seven more people were sent...