Actions: leanprover/lean4
Actions
4,435 workflow run results
4,435 workflow run results
IO.TaskState
Check PR title for commit convention
#4314:
Pull request #4097
opened
by
tydeu
withSynthesize
when elaborating let
/have
type
Check PR title for commit convention
#4312:
Pull request #4096
synchronize
by
leodemoura
withSynthesize
when elaborating let
/have
type
Check PR title for commit convention
#4311:
Pull request #4096
opened
by
leodemoura
Nat.zero_or
and Nat.or_zero
Check PR title for commit convention
#4306:
Pull request #4094
opened
by
fgdorais
binop%
and binrel%
elaborators
Check PR title for commit convention
#4304:
Pull request #4092
synchronize
by
leodemoura
binop%
and binrel%
elaborators
Check PR title for commit convention
#4303:
Pull request #4092
synchronize
by
leodemoura
Lean.unresolveNameGlobal
Check PR title for commit convention
#4301:
Pull request #4091
synchronize
by
kmill
Lean.unresolveNameGlobal
Check PR title for commit convention
#4300:
Pull request #4091
synchronize
by
kmill
binop%
and binrel%
elaborators
Check PR title for commit convention
#4299:
Pull request #4092
edited
by
leodemoura
binop%
and binrel%
elaborators
Check PR title for commit convention
#4298:
Pull request #4092
opened
by
leodemoura
Lean.unresolveNameGlobal
Check PR title for commit convention
#4295:
Pull request #4091
opened
by
kmill
family_def
et al
Check PR title for commit convention
#4292:
Pull request #4088
opened
by
digama0