Actions: opencompl/lean4
Actions
212 workflow runs
212 workflow runs
BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend
Check for stage0 changes
#454:
Pull request #47
synchronize
by
luisacicolini
BitVec.(toInt, toFin)_setWidth'
Check for stage0 changes
#453:
Pull request #48
synchronize
by
luisacicolini
ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account
Check for stage0 changes
#452:
Pull request #43
synchronize
by
bollu
ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account
Check for stage0 changes
#451:
Pull request #43
synchronize
by
bollu
ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account
Check for stage0 changes
#450:
Pull request #43
synchronize
by
bollu