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

Arkansas prison guards fired over escape of killer dubbed ‘Devil in the Ozarks’

Officials say breaches by two staff members let Grant Hardin walk free, and lawmakers warn of deeper security failures Two employees at an ...