8 pts| 5 years ago | 4 comments
p0llard's submissions
8 pts| 5 years ago | 11 comments
MIT Emergency Management: Students reimbursed $500 to leave campus by Sunday
(emergency.mit.net)
2 pts| 6 years ago | discuss
12 pts| 6 years ago | 4 comments
Formal Reasoning About Programs (2017) [pdf]
(adam.chlipala.net)
83 pts| 6 years ago | 23 comments
Formal Reasoning About Programs (2017) [pdf]
(adam.chlipala.net)
3 pts| 6 years ago | discuss
Optimization: An Introduction (2006) [pdf]
(www3.imperial.ac.uk)
96 pts| 7 years ago | 18 comments
Problem-solving ability of unicellular amoeboid organism and its mechanism
(royalsocietypublishing.org)
1 pts| 7 years ago | discuss
page 1