Posts tagged with "theorem proving".

• Types and Verification Chattery - March 13, 2019
• DeepSpec 2017 Slack Notes - March 12, 2019
• Truthiness - July 3, 2017
• Proof Pitfalls - July 1, 2017
• Dependent Types and Matching in Coq - July 1, 2017
• Coq Cheat Sheet - July 1, 2017