New top story on Hacker News: Theorem Proving in Lean - The Goodnews Papers

The Goodnews Papers

The Goodnews Papers

    • Breaking

    Home Top Ad

    Post Top Ad

    Responsive Ads Here

    Tuesday, May 29, 2018

    Home Hacker News New top story on Hacker News: Theorem Proving in Lean

    New top story on Hacker News: Theorem Proving in Lean

    Tags
    Share This
    Author Image

    About oxfordpilot

    By v�o l�c
    Labels:

    No comments:

    Post a Comment

    Subscribe to: Post Comments (Atom)

    Post Bottom Ad

    Author Details

    Pages