GitHub - mpi-sp-foe-2023-24/mpi-sp-foe-2023-24.github.io: Version of the PL Foundations volume of Software Foundations that we use for the Foundations of Programming Languages, Verification, and Security course at Ruhr University Bochum in winter 2023/24.

mpi-sp-foe-2023-24 / mpi-sp-foe-2023-24.github.io Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Version of the PL Foundations volume of Software Foundations that we use for the Foundations of Programming Languages, Verification, and Security course at Ruhr University Bochum in winter 2023/24.

0 stars 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 39 Commits
book-secf		book-secf
book		book
exercises		exercises
slides-by-us		slides-by-us
slides		slides
.nojekyll		.nojekyll
index.html		index.html

About

Version of the PL Foundations volume of Software Foundations that we use for the Foundations of Programming Languages, Verification, and Security course at Ruhr University Bochum in winter 2023/24.

Activity

Custom properties

0 stars

1 watching

0 forks

Report repository