Actions: leanprover/lean4
Actions
4,435 workflow run results
4,435 workflow run results
withSynthesize
when elaborating let
/have
type
Check PR title for commit convention
#4336:
Pull request #4096
synchronize
by
kim-em
IO.TaskState
Check PR title for commit convention
#4317:
Pull request #4097
edited
by
tydeu
IO.TaskState
Check PR title for commit convention
#4316:
Pull request #4097
synchronize
by
tydeu
IO.TaskState
Check PR title for commit convention
#4315:
Pull request #4097
edited
by
tydeu