MPTP 0.2

swMATH2589MaRDI QIDQ15128

No author found.

Source code repository: https://github.com/JUrban/MPTP2

Described by source

• MPTP 0.2: Design, implementation, and initial experiments