Skip to content
Snippets Groups Projects

Setting math names (proof, lemma, etc) according to selected language....

Merged Setting math names (proof, lemma, etc) according to selected language....
novacek/language-optimisation into master
Merged Tomáš Nováček requested to merge novacek/language-optimisation into master
Status
Pipeline
Created by
Stages
Actions
Passed

00:01:55

avatar
Stage: test
Download artifacts

No artifacts found