Skip to content
Jira sync

PANIC at outOfBounds on theorem involving a nested inductive #176

Sign in to view logs

PANIC at outOfBounds on theorem involving a nested inductive

PANIC at outOfBounds on theorem involving a nested inductive #176

Triggered via issue October 18, 2024 20:13
@nomeatanomeata
closed #5726 26df545
Status Success
Total duration 12s
Artifacts –

jira.yml

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