Skip to content
Snippets Groups Projects

Made lemma presented in paper syntactically equivalent

Passed
Jonas Kastberg created pipeline for commit 8f087103
, finished
For master
1 job 6 minutes 12 seconds, queued for 3 seconds