Actions: leanprover/lean4
Actions
10,432 workflow run results
10,432 workflow run results
lake update
Check PR title for commit convention
#10340:
Pull request #5684
synchronize
by
tydeu
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
Check PR title for commit convention
#10338:
Pull request #5721
synchronize
by
luisacicolini
lake update
Check PR title for commit convention
#10337:
Pull request #5684
synchronize
by
tydeu
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
Check PR title for commit convention
#10336:
Pull request #5721
synchronize
by
luisacicolini