Actions: leanprover/lean4
Actions
6,954 workflow run results
6,954 workflow run results
@[simp]
on Array.swapAt!_def
Label PR based on Comment
#6858:
Issue comment #5461 (comment)
created
by
leanprover-community-mathlib4-bot
heq_comm
Label PR based on Comment
#6851:
Issue comment #5456 (comment)
created
by
leanprover-community-mathlib4-bot
deriving
Label PR based on Comment
#6850:
Issue comment #3160 (comment)
created
by
arthur-adjedj
deriving
Label PR based on Comment
#6849:
Issue comment #3160 (comment)
created
by
nomeata
deriving
Label PR based on Comment
#6848:
Issue comment #3160 (comment)
created
by
arthur-adjedj
\U00000000
notation for large unicode literals
Label PR based on Comment
#6843:
Issue comment #5443 (comment)
created
by
digama0
\U00000000
notation for large unicode literals
Label PR based on Comment
#6842:
Issue comment #5443 (comment)
created
by
eric-wieser
\U00000000
notation for large unicode literals
Label PR based on Comment
#6840:
Issue comment #5443 (comment)
created
by
digama0
List.IsPrefix
Label PR based on Comment
#6839:
Issue comment #5448 (comment)
created
by
Command-Master