Skip to content
Snippets Groups Projects

Add some _1, _2 lemmas

Passed
Michael Sammler created pipeline for commit 8a4b52b7
, finished
For ci/msammler/_1_2_lemmas
branch
4 jobs 9 minutes 58 seconds, queued for 70 seconds