Omega++

MaRDI QIDQ44083swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-19249-9_31

Described by source

• Certified reasoning with infinity

This page was built for software: Omega++