Skip to content
Snippets Groups Projects

add proof of equivalence of EDF definitions

Passed
Björn Brandenburg created pipeline for commit 271464a5
, finished
For master
16 jobs 34 minutes 58 seconds, queued for 29 seconds