Skip to content
Snippets Groups Projects

Fix context description in subproof closing rules.

Passed
Hans-Jörg created pipeline for commit f8a1cdc8
, finished
For master
3 jobs 4 minutes 50 seconds, queued for 1 seconds