Hackernews posts about 3151

  1. 3110 Coq Tactics Cheatsheet (www.cs.cornell.edu)