You could use intervals to prove the codomain of a function, given its domain is an interval, using the same arithmetic.

Would actually be useful in programming as proving what outputs a fn can produce for known inputs - rather than use unit tests with fixed numerical values (or random values).