Skip to content
Jira sync

Unknown constant 'Lean.Elab.Term.elabNumLit' on Go to Definition #4

Sign in to view logs

Unknown constant 'Lean.Elab.Term.elabNumLit' on Go to Definition

Unknown constant 'Lean.Elab.Term.elabNumLit' on Go to Definition #4

Triggered via issue July 27, 2024 18:00
@kmillkmill
closed #3789 906bc58
Status Success
Total duration 10s
Artifacts –

jira.yml

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