cs.uwaterloo.ca/~plragde/747

Preview meta tags from the cs.uwaterloo.ca website.

  • General Meta Tags

    3
    • title
      CS 747: Software Verification using Proof Assistants
    • content-type
      text/html; charset=utf-8
    • viewport
      width=device-width, initial-scale=0.8

  • Link Tags

    3
    • stylesheet
      scribble.css
    • stylesheet
      manual-style.css
    • stylesheet
      manual-racket.css