TOrPEDO

swMATH40950MaRDI QIDQ1354346FDOQ1354346

Author name not available (Why is that?)

Source code repository: https://github.com/alessandrorizzi/torpedo

Described by source

• TOrPEDO : witnessing model correctness with topological proofs

This page was built for software: TOrPEDO