Actions: leanprover-community/batteries
Actions
1,346 workflow runs
1,346 workflow runs
Fin.foldlM
and Fin.foldrM
Label PR based on Comment
#1271:
Issue comment #814 (comment)
created
by
leanprover-community-bot
BinaryHeap
using Vector
Label PR based on Comment
#1270:
Issue comment #850 (comment)
created
by
leanprover-community-bot
#help
commands
Label PR based on Comment
#1268:
Issue comment #969 (comment)
created
by
fgdorais
#help
commands
Label PR based on Comment
#1266:
Issue comment #969 (comment)
created
by
digama0
#help
commands
Label PR based on Comment
#1265:
Issue comment #969 (comment)
created
by
fgdorais
#help
commands
Label PR based on Comment
#1264:
Issue comment #969 (comment)
created
by
kim-em
#help
commands
Label PR based on Comment
#1258:
Issue comment #969 (comment)
created
by
leanprover-community-bot
#help note
command
Label PR based on Comment
#1257:
Issue comment #948 (comment)
created
by
fgdorais
#help note
command
Label PR based on Comment
#1256:
Issue comment #948 (comment)
created
by
edegeltje
#help note
command
Label PR based on Comment
#1255:
Issue comment #948 (comment)
created
by
fgdorais
#help note
command
Label PR based on Comment
#1254:
Issue comment #948 (comment)
created
by
edegeltje
by rfl
instead of rfl
to bypass new compiler bug
Label PR based on Comment
#1253:
Issue comment #968 (comment)
created
by
fgdorais
by rfl
instead of rfl
to bypass new compiler bug
Label PR based on Comment
#1252:
Issue comment #968 (comment)
created
by
leanprover-community-bot
by rfl
instead of rfl
to bypass new compiler bug
Label PR based on Comment
#1250:
Issue comment #968 (comment)
created
by
Shreyas4991
#help note
command
Label PR based on Comment
#1249:
Issue comment #948 (comment)
created
by
fgdorais
#help note
command
Label PR based on Comment
#1248:
Issue comment #948 (comment)
created
by
leanprover-community-bot
UIntX
types
Label PR based on Comment
#1247:
Issue comment #854 (comment)
created
by
leanprover-community-bot