Skip to content
Jira sync

PANIC at Lean.MVarId.falseOrByContra Lean.Elab.Tactic.FalseOrByContra:58:44: expected one sugoal [sic] #62

Sign in to view logs

PANIC at Lean.MVarId.falseOrByContra Lean.Elab.Tactic.FalseOrByContra:58:44: expected one sugoal [sic]

PANIC at Lean.MVarId.falseOrByContra Lean.Elab.Tactic.FalseOrByContra:58:44: expected one sugoal [sic] #62

Triggered via issue August 26, 2024 00:46
@leodemouraleodemoura
closed #4985 7036583
Status Success
Total duration 11s
Artifacts –

jira.yml

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