https://github.com/logsem/iris-lecture-notes

https://github.com/logsem/iris-lecture-notes

Last synced: 4 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/logsem/iris-lecture-notes
• Owner: logsem
• License: other
• Created: 2022-10-10T13:57:40.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2024-07-24T16:54:16.000Z (almost 2 years ago)
• Last Synced: 2025-10-11T02:32:29.856Z (8 months ago)
• Language: TeX
• Size: 287 KB
• Stars: 15
• Watchers: 3
• Forks: 5
• Open Issues: 9
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Iris Lecture Notes

This is the official source code for the Iris Lecture Notes (ILN), that has been

used for multiple iterations of the Program Logics course at

Aarhus University, Denmark.

The ILN are under continuous development, for which we welcome suggested

changes (for more on how to contribute see [CONTRIBUTING.md](CONTRIBUTING.md)).

The ILN can be compiled using `make`.