Skip to content
고급프로그래밍언어 (Advanced Programming Language) 2019 Fall
Branch: master
Clone or download
Latest commit 8f75e0e Sep 11, 2019
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
README.md Update README.md Sep 10, 2019
lf.tar Initial commit Sep 10, 2019
plf.tar Initial commit Sep 10, 2019
qc.tar Initial commit Sep 10, 2019
vfa.tar Initial commit Sep 10, 2019

README.md

Software Foundations, SNU 4190.574, 2019 Fall

Grading

  • Exams: 40% (mid-term 20% and final 30%)
  • Assignments: 45%
  • Attendance: 5%

Coq

  • Install Coq 8.9.1.

    • Using an installer (Windows, MacOS)

    • Using OPAM (Linux / MacOS)

    • Using brew (MacOS)

      • Run brew install coq, which will automatically install coq-8.9.1
      • Note this wouldn't install CoqIDE.
  • Install IDE for Coq.

    • CoqIDE: installed by default.
    • Emacs: Company-Coq. Follow the setup instructions.
      • If it shows Searching for program No such file or directory coqtop error, please add (custom-set-variables '(coq-prog-name "PATH/TO/coqtop")) to .emacs file.
      • In case of MacOS, coqtop is at /Applications/CoqIDE_8.9.1.app/Contents/Resources/bin/.
You can’t perform that action at this time.