Actions: leanprover/lean4
Actions
198 workflow runs
198 workflow runs
_
, even though _x
suppresses the linter
Jira sync
#97:
Issue #5259
closed
by
Kha
main
symbol
Jira sync
#91:
Issue #2436
closed
by
Kha
include
suggest that it might affect def
Jira sync
#83:
Issue #5184
closed
by
Kha
LabelAttribute
fails to handle local
attribute kind
Jira sync
#79:
Issue #3697
closed
by
Kha
LabelAttribute
fails to handle local
attribute kind
Jira sync
#78:
Issue #3697
closed
by
Kha
Nat
match
takes close to 40 secs to elab
Jira sync
#74:
Issue #4898
closed
by
Kha