Skip to content
Snippets Groups Projects

Add is_closed_term tactic

Passed
Michael Sammler created pipeline for commit 5afe58c4
, finished
Related merge request !345 to merge msammler/assert_closed
merge request
2 jobs 4 minutes 33 seconds, queued for 8 seconds