Actions: opencompl/lean4
Actions
623 workflow runs
623 workflow runs
toNat
theorems for signExtend
CI
#622:
Pull request #30
synchronize
by
mhk119
toNat
theorems for signExtend
CI
#621:
Pull request #30
synchronize
by
mhk119
toNat
theorems for signExtend
CI
#620:
Pull request #30
opened
by
mhk119