Actions: leanprover/lean4
Actions
4,813 workflow runs
4,813 workflow runs
StructureInfo
Backport
#4812:
Pull request #5853
closed
by
kmill
StructureInfo
Backport
#4810:
Pull request #5853
labeled
by
leanprover-community-bot
m!
strings
Backport
#4809:
Pull request #5857
closed
by
kmill
toNat
theorems for signExtend
Backport
#4808:
Pull request #5859
closed
by
mhk119
m!
strings
Backport
#4807:
Pull request #5857
labeled
by
leanprover-community-bot
m!
strings
Backport
#4805:
Pull request #5857
labeled
by
leanprover-community-bot
instance
yields theorems
Backport
#4804:
Pull request #5856
labeled
by
leanprover-community-bot
instance
yields theorems
Backport
#4803:
Pull request #5856
labeled
by
leanprover-community-bot
<|>
, <*>
, >>
, <*
, and *>
Backport
#4802:
Pull request #5854
closed
by
kmill
<|>
, <*>
, >>
, <*
, and *>
Backport
#4801:
Pull request #5854
labeled
by
leanprover-community-bot
instance
yields theorems
Backport
#4800:
Pull request #5856
labeled
by
kmill
(msb, getMsbD)_twoPow
Backport
#4798:
Pull request #5851
closed
by
hargoniX
partial
inhabitation
Backport
#4795:
Pull request #5847
labeled
by
leanprover-community-bot
partial
inhabitation
Backport
#4793:
Pull request #5847
labeled
by
kmill
Inhabited
instance
Backport
#4792:
Pull request #5846
closed
by
kmill