Skip to content

Instantly share code, notes, and snippets.

@jeehoonkang

jeehoonkang/gist:4a9fc7b54ba03439a3b8

Created April 28, 2015 05:04
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jeehoonkang/4a9fc7b54ba03439a3b8 to your computer and use it in GitHub Desktop.
Save jeehoonkang/4a9fc7b54ba03439a3b8 to your computer and use it in GitHub Desktop.
Download ZIP
20150428, SNU 4190.310, 2015 Spring
Raw
gistfile1.md

Midterm Exam Announcement

  • Software Lab, 3rd floor, Bldg 302
  • 1700-1830 20150430 (Thu)
  • Those who want to bring their own notebooks?

I am busy these days...

  • Sorry for late response these days.
  • I will keep you updated as deliberately as possible.

Proof Example

  • MoreCoq.v:rev_exercise1
  • Poly.v:rev_involutive
  • MoreCoq.v:double_induction

Q&A

  • Do you have any question?
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment