Skip to content
Snippets Groups Projects

Start work on formal semantic: valid proofs

Passed
Hans-Jörg created pipeline for commit 8f7b7c5f
, finished
For formal-semantic
1 job 2 minutes 14 seconds, queued for 8 seconds