www.cs.cornell.edu/courses/cs3110/2018sp/a5/coq-tactics-cheatsheet.html

Preview meta tags from the www.cs.cornell.edu website.

  • General Meta Tags

    1
    • title
      3110 Coq Tactics Cheatsheet

  • Link Tags

    3
    • stylesheet
      ../bootstrap-3.3.7/css/bootstrap.min.css
    • stylesheet
      ../highlight/styles/arduino-light.css
    • stylesheet
      coq-tactics-cheatsheet.css