Recent Posts

• The new tactic engine of Coq 8.5
  by claruson 2/14/2016, 8:18:38 PM with 0 comments
• 150,000 penguins die because of giant iceberg
  by claruson 2/13/2016, 2:33:07 PM with 0 comments