Comment Comment by sweep4r Writing a porn browser in Coq seems appropriate. parent sweep4r 9 years ago
