Skip to content

Commit debc475

Browse files
coqbot-app[bot]SkySkimmer
coqbot-app[bot]
and
SkySkimmer
authored
Merge PR #19320: Factorization of close_proof and close_future_proof in declare.ml
Reviewed-by: mattam82 Ack-by: SkySkimmer Co-authored-by: SkySkimmer <[email protected]>
2 parents 4d6b473 + f2ac5c3 commit debc475

File tree

1 file changed

+190
-197
lines changed

1 file changed

+190
-197
lines changed

0 commit comments

Comments
 (0)