Actions: leanprover/lean4
Actions
14,206 workflow runs
14,206 workflow runs
instance
yields theorems
CI
#23373:
Pull request #5856
opened
by
kmill
<|>
, <*>
, >>
, <*
, and *>
CI
#23368:
Pull request #5854
opened
by
kmill
StructureInfo
CI
#23367:
Pull request #5853
opened
by
kmill
(msb, getMsbD)_twoPow
(#5851)
CI
#23362:
Commit 08c36e4
pushed
by
github-merge-queue
bot
partial
inhabitation
CI
#23359:
Pull request #5847
synchronize
by
kmill
(msb, getMsbD)_twoPow
CI
#23358:
Pull request #5851
synchronize
by
luisacicolini
(msb, getMsbD)_twoPow
CI
#23357:
Pull request #5851
opened
by
luisacicolini