Actions: opencompl/lean4
Actions
260 workflow runs
260 workflow runs
toNat
theorems for signExtend
Check for modules that should use `prelude`
#260:
Pull request #30
synchronize
by
mhk119
toNat
theorems for signExtend
Check for modules that should use `prelude`
#259:
Pull request #30
synchronize
by
mhk119
toNat
theorems for signExtend
Check for modules that should use `prelude`
#258:
Pull request #30
opened
by
mhk119