Actions: leanprover/lean4
Actions
6,954 workflow run results
6,954 workflow run results
instance
attribute check that type is a class
Label PR based on Comment
#6832:
Issue comment #4739 (comment)
created
by
kmill
List.IsPrefix
Label PR based on Comment
#6828:
Issue comment #5448 (comment)
created
by
leanprover-community-mathlib4-bot
List.IsPrefix
Label PR based on Comment
#6827:
Issue comment #5448 (comment)
created
by
Command-Master
To/FromJSON Empty
Label PR based on Comment
#6825:
Issue comment #5421 (comment)
created
by
TomasPuverle
\U00000000
notation for large unicode literals
Label PR based on Comment
#6821:
Issue comment #5443 (comment)
created
by
leanprover-community-mathlib4-bot
rfl
tactic primarily via apply_rfl
Label PR based on Comment
#6812:
Issue comment #3718 (comment)
created
by
nomeata