HolPy

swMATH40702MaRDI QIDQ1354643FDOQ1354643

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-030-79876-5_28

Source code repository: https://github.com/bzhan/holpy

Described by source

• Verified interactive computation of definite integrals

Cited In (2)

• CBench
• jsCoq

This page was built for software: HolPy