Skip to content
Snippets Groups Projects

Fix errors in proof rules (wrong names and broken links)

Passed
Hans-Jörg created pipeline for commit d92b8e61
, finished
For master
1 job 2 minutes 16 seconds, queued for 6 seconds