Explore projects
-
Jupyter notebooks for the lecture Software Verification in SS 23
Archived 0UpdatedArchived 0Updated -
Jupyter notebooks for the lecture Software Verification in WS 21/22
Archived 1UpdatedArchived 1Updated -
Jupyter notebooks for the lecture on software verification in WS 20/21
Archived 0UpdatedArchived 0Updated -
Lukas Grünwald / rust-group-a
MIT LicenseA distributed key-value database written in rust.
Archived 0Updated