Monday, July 30, 2018

New top story on Hacker News: Gamifying propositional logic: QED, an interactive textbook

Gamifying propositional logic: QED, an interactive textbook
95 by robinhouston | 6 comments on Hacker News.


at
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

Trump urges Opec to slash oil prices

President Trump said he wants OPEC and Saudi Arabia to bring down the price of oil which he says is fuelling the Russia-Ukraine war. from ...