https://github.com/alhassy/coqcheatsheet

Reference sheet for the Coq language.
https://github.com/alhassy/coqcheatsheet

cheatsheet coq html pdf tactics

Last synced: 4 months ago
JSON representation

Reference sheet for the Coq language.

• Host: GitHub
• URL: https://github.com/alhassy/coqcheatsheet
• Owner: alhassy
• Created: 2018-07-20T01:02:02.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2020-09-16T11:54:02.000Z (over 4 years ago)
• Last Synced: 2024-10-11T21:51:07.163Z (4 months ago)
• Topics: cheatsheet, coq, html, pdf, tactics
• Size: 869 KB
• Stars: 15
• Watchers: 4
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project