swMATH28178MaRDI QIDQ39892FDOQ39892
Author name not available (Why is that?)
Official website: https://proper-testing.github.io/
Source code repository: https://github.com/proper-testing/proper
Cited In (7)
This page was built for software: PropEr
