• Breaking News

    WorldWidenews

    In this blog you will get daily World Wide news

    Wednesday, 7 November 2018

    Home Hacker News New top story on Hacker News: A Lisp Way to Type Theory and Formal Proofs (2017) [pdf]

    New top story on Hacker News: A Lisp Way to Type Theory and Formal Proofs (2017) [pdf]

    November 07, 2018
    on
    Labels:

    No comments:

    Post a Comment