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.


Comments

Post a Comment

Popular posts from this blog

मौनी रॉय के साथ रिश्ते को लेकर ब्वॉयफ्रेंड मोहित रैना ने किया खुलासा, कही ऐसी बात

Image
टीवी और बॉलीवुड के सबसे मशहूर कपल मौनी रॉय और मोहित रैना ने कभी अपने रिश्ते पर खुलकर बात नहीं की लेकिन हाल ही में मोहित रौना ने ऐसा खुलासा किया है कि फैंस का दिल टूट जाएगा. from Latest News बॉलीवुड News18 हिंदी http://bit.ly/2SV0UkS
Read more

Box Office पर Gully Boy का हल्ला, 4 दिन में 100 करोड़ के करीब पहुंची फिल्म

Image
Gully Boy दर्शकों का काफी पसंद आ रही है. परफॉर्मेंस की बात करें तो हर कलाकार दूसरे पर भारी पड़ता नजर आ रहा है. फिर चाहे वह रणवीर सिंह(Ranveer Singh), विजय राज(Vijay Raj), आलिया भट्ट(Alia Bhatt) या सिद्धांत चतुर्वेदी(Siddhant Chaturvedi) हों. from Latest News बॉलीवुड News18 हिंदी http://bit.ly/2V3n0ip
Read more

ऑनर किलिंग: प्रेमिका के परिजनों ने प्रेमी के पिता को पिकअप से कुचला, मौत

Image
एसपी सिटी का कहना है कि सुबह में एक एक्ससीडेंट की सूचना थाना बारादरी को मिली थी लेकिन मौके पर एक प्लेटिना बाइक ही मिली. उसके बाद फ़रीद पुर इलाके से घायल राजाराम का शव बरामद किया गया. from Latest News उत्तर प्रदेश News18 हिंदी https://ift.tt/2qP1MrL
Read more