Skip to content
Jira sync

bv_normalize produces a proof with metavars that cannot be checked by the kernel #145

Sign in to view logs

bv_normalize produces a proof with metavars that cannot be checked by the kernel

bv_normalize produces a proof with metavars that cannot be checked by the kernel #145

Triggered via issue October 1, 2024 16:00
@hargoniXhargoniX
closed #5543 863e9c0
Status Success
Total duration 10s
Artifacts –

jira.yml

on: issues
jira-sync
2s
jira-sync
Fit to window
Zoom out
Zoom in