Skip to content
Snippets Groups Projects

Capitalise Theorem/Proposition/Lemma

Passed
Luke Naylor created pipeline for commit 2ed7248d
, finished
For main
1 job 36 seconds, queued for 272 seconds