https://github.com/zoep/pl2

Course Material for "Programming Languages II"
https://github.com/zoep/pl2

Last synced: 8 days ago
JSON representation

Course Material for "Programming Languages II"

• Host: GitHub
• URL: https://github.com/zoep/pl2
• Owner: zoep
• License: mit
• Created: 2024-10-29T08:39:11.000Z (17 days ago)
• Default Branch: main
• Last Pushed: 2024-10-29T09:15:18.000Z (17 days ago)
• Last Synced: 2024-10-29T09:57:05.810Z (17 days ago)
• Language: Coq
• Size: 51.8 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Programming Languages II

Material for the course _Programming Languages II_

Institution: National Technical University of Athens

Instructor: Zoe Paraskevopoulou

This course material is currently a work in progress. As the semester

advances, content will be added, restructured, and updated.

# References

- Software Foundations, Benjamin C. Pierce et al. (Volumes I and II)

- Program = Proof, Samuel Mimram

- Types and Programming Languages, Benjamin C. Pierce

# Installation Instructions

For instructions on installing the Coq proof assistant, refer to

[INSTALL.md](https://github.com/zoep/PL2/blob/main/INSTALL.md) (in Greek).