Actions: leanprover/lean4
Actions
6,954 workflow run results
6,954 workflow run results
BitVec.mul
docstring
Label PR based on Comment
#6878:
Issue comment #5473 (comment)
created
by
leanprover-community-mathlib4-bot
WellFounded.fix
to be kernel-irreducible
Label PR based on Comment
#6877:
Issue comment #5182 (comment)
created
by
nomeata
List.toArray
Label PR based on Comment
#6875:
Issue comment #5472 (comment)
created
by
leanprover-community-mathlib4-bot
contradiction
docstring indendation
Label PR based on Comment
#6873:
Issue comment #5470 (comment)
created
by
leanprover-community-mathlib4-bot