Skip to content
Snippets Groups Projects

Add some _1, _2 lemmas

Passed
Michael Sammler created pipeline for commit 861b0283
, finished
Related merge request !394 to merge ci/msammler/_1_2_lemmas
merge request
2 jobs 5 minutes 57 seconds, queued for 3 seconds