Skip to content
Snippets Groups Projects

Work-conservation transformation and proof.

Warning
Björn Brandenburg created pipeline for commit 57806e76
, finished
1 related merge request: !16 Update
12 jobs 3 minutes 36 seconds, queued for 1 seconds