PV0 ⊧ Apfloatoperates on extreme-precision real numbers (with millions of digits)

Links

• http://www.apfloat.org/apfloat_java/ (for Java)
• https://github.com/mtommila/apfloat (for Java)
  • Last commit date: 08 Oct 2022 (default branch)
  • Last commit date: 24 Nov 2022 (last activity)
• http://www.apfloat.org/apfloat/ (for C++)

ProVerB specific

• Markdown description: view/edit
• Reason for this entry: used by SPAN
• Contained in the ProVerB22 dataset (paper + artefact)