Hackernews
new
show
ask
jobs
Local Reasoning for Global Properties
4 points
posted a day ago
by ltratt
(tratt.net)
No comments yet