HolPy

MaRDI QIDQ1354643swMATHFDO

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