Skip to content
Snippets Groups Projects

Add some _1, _2 lemmas

Passed
Michael Sammler created pipeline for commit a825d7aa
, finished
Related merge request !394 to merge ci/msammler/_1_2_lemmas
merge request
2 jobs 11 minutes 19 seconds, queued for 0 seconds