I thought the same might be true, and a theorem prover agrees with us: https://g...

		jepler on Nov 26, 2022 \| parent \| context \| favorite \| on: Figuring out round, floor and ceil with integer di... I thought the same might be true, and a theorem prover agrees with us: https://gist.github.com/jepler/eda8401d1b613c44376dc8148fcf9...