Skip to content
Snippets Groups Projects

Proof simple subproofs, metaterms, remove tabs

Failed
Hans-Jörg created pipeline for commit b47721d9
, finished
For formal-semantic
1 job 1 minute 57 seconds, queued for 4 seconds