The Technical Part of Godel's Proof (or: Lisp for set theorists)sbseminar.wordpress.com8 points·leif··0 commentsOpen articleSaveView on HN