Session VerifyThis2019
View
theory dependencies
View
document
View
outline
Theories
Exc_Nres_Monad
VTcomp
Challenge1A
Challenge1B
Challenge2A
Challenge2B
Parallel_Multiset_Fold
Challenge3