Questions tagged [arithmetic]

Questions on basic arithmetic involving numerical quantities only.

Filter by
Sorted by
Tagged with
10 votes
1 answer

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 ...
user avatar
  • 203
16 votes
4 answers

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 ...
user avatar
  • 261
12 votes
1 answer

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 ...
user avatar