Skip to content
Back to pull request #1076

Remove sentinel for end of KORE terms in the proof hint format #27

Sign in to view logs

Remove sentinel for end of KORE terms in the proof hint format

Remove sentinel for end of KORE terms in the proof hint format #27

This job succeeded