Skip to content
GitLab

Resource reuse

Open Pedro Gonnet requested to merge resource_reuse into master

Actually also contains corrections to the paper since I'm still too dumb do use git correctly...