chore: clean up toInt_pos_iff_[small|large] in forLean

opencompl / lean-mlir

A minimal development of SSA theory

Other

68 stars 6 forks source link

Closed tobiasgrosser closed 4 weeks ago

github-actions[bot] commented 4 weeks ago

Alive Statistics: 64 / 93 (29 failed)

github-actions[bot] commented 4 weeks ago

Alive Statistics: 64 / 93 (29 failed)

github-actions[bot] commented 4 weeks ago

Alive Statistics: 64 / 93 (29 failed)