Theorem Proving in Lean
115 by benwr | 12 comments on Hacker News.
Subscribe to:
Post Comments (Atom)
-
NATO Secretary General Jens Stoltenberg speaks with Senator John McCain on Capitol Hill in 2016. NATO photo CNBC: NATO is considering na... -
Footage posted to social media shows chaotic scenes in Senegal's capital, Dakar. from BBC News https://ift.tt/4LItBfF
-
DAKAR, Dec 17 (IPS) - Masters of Laws student Khoudia Ndiaye will graduate from Senegal's University Cheikh Anta Diop (UCAD) next year....
No comments:
Post a Comment