Ad Code

Responsive Advertisement

Ticker

6/recent/ticker-posts

New top story on tech 45jNews: A Self-Verifying Theorem Prover (2009) [pdf]

Keshav July 30, 2021
A Self-Verifying Theorem Prover (2009) [pdf]
5 by luu | 0 comments on Hacker News.


Keshav

Posted by Keshav

Hello guy's i am keshav owner of this blog

Post a Comment

0 Comments

Post a Comment

Ad Code

Responsive Advertisement