Actions: leanprover/lean4
Actions
10,432 workflow run results
10,432 workflow run results
MessageData.ofConstName
be the default coercion from Name
to MessageData
Check PR title for commit convention
#10440:
Pull request #5779
opened
by
kmill
intMin
is indeed the smallest signed bitvector
Check PR title for commit convention
#10439:
Pull request #5778
opened
by
alexkeizer
lake update
Check PR title for commit convention
#10438:
Pull request #5684
synchronize
by
tydeu
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
Check PR title for commit convention
#10437:
Pull request #5721
synchronize
by
alexkeizer
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
Check PR title for commit convention
#10436:
Pull request #5721
synchronize
by
alexkeizer
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
Check PR title for commit convention
#10435:
Pull request #5721
synchronize
by
alexkeizer
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
Check PR title for commit convention
#10434:
Pull request #5721
synchronize
by
alexkeizer
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
Check PR title for commit convention
#10432:
Pull request #5721
synchronize
by
alexkeizer
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
Check PR title for commit convention
#10431:
Pull request #5721
synchronize
by
alexkeizer
lake update
Check PR title for commit convention
#10428:
Pull request #5684
edited
by
tydeu
lake update
Check PR title for commit convention
#10427:
Pull request #5684
synchronize
by
tydeu