Skip to content
Snippets Groups Projects

swap lemma directions and adjust names; add and/or versions

Passed
Ralf Jung created pipeline for commit 516090f6
, finished
Related merge request !347 to merge ralf/bool_decide_negb
4 minutes 37 seconds, queued for 13 seconds