Actions: leanprover/lean4
Actions
6,954 workflow run results
6,954 workflow run results
MonadLog
for a StateT
is surprisingly slow
Label PR based on Comment
#6925:
Issue comment #5457 (comment)
created
by
Kha
MonadLog
for a StateT
is surprisingly slow
Label PR based on Comment
#6924:
Issue comment #5457 (comment)
created
by
Kha
Float
to UInt64
doesn't behave as described in the documentation.
Label PR based on Comment
#6922:
Issue comment #5483 (comment)
created
by
Kha
Lean.withSeconds
Label PR based on Comment
#6909:
Issue comment #5481 (comment)
created
by
leanprover-community-mathlib4-bot