Actions: opencompl/lean4
Actions
260 workflow runs
260 workflow runs
toNat
theorems for signExtend
Check for copyright header
#260:
Pull request #30
synchronize
by
mhk119
toNat
theorems for signExtend
Check for copyright header
#259:
Pull request #30
synchronize
by
mhk119
toNat
theorems for signExtend
Check for copyright header
#258:
Pull request #30
opened
by
mhk119