Questions tagged [arithmetic]
Questions on basic arithmetic involving numerical quantities only.
What did Coq 8.15 change about divmod?
I noticed that Coq 8.15 (possibly 8.14) made some significant changes to divmod. In particular, Nat.divmod_0q0 seems to have been removed and the ...
Is there a proof assistant for Peano Arithmetic?
Is there a proof assistant for Peano Arithmetic (PA)? Or, for some well known and better developed proof assistant is there a way to employ it to write down PA proofs ? Are there even tools to check ...
Tools to check correctness of decimal floating point arithmetic
I have implemented (in TeX, but it doesn't matter for this question) a library of functions that evaluate basic arithmetic, as well as some transcendental functions such as cosine, on decimal floating ...