An open API service indexing awesome lists of open source software.

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


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

Last synced: 4 months ago
JSON representation

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`.