Actions: leanprover/lean4
Actions
198 workflow runs
198 workflow runs
StructureInfo
Jira sync
#198:
Issue #1881
closed
by
kmill
<|>
notation is not pretty-printed
Jira sync
#197:
Issue #5668
closed
by
kmill
simp at *
fails to close goal where simp at h
does
Jira sync
#191:
Issue #5593
closed
by
Kha
rwa
tactic behaviour doesn't match documentation
Jira sync
#182:
Issue #5792
closed
by
nomeata
lake new
shouldn't run git init
when the dir is already inside the git work tree
Jira sync
#180:
Issue #5791
closed
by
haoxins
PANIC at outOfBounds
on theorem involving a nested inductive
Jira sync
#176:
Issue #5726
closed
by
nomeata
leanpkg
binary to help confused new users
Jira sync
#174:
Issue #2872
closed
by
Kha