swMATH31981MaRDI QIDQ43692
No author found.
Source code repository: https://github.com/kohlhase/CambridgeLCF
Described by source
