swMATH21328MaRDI QIDQ33136
No author found.
Source code repository: https://github.com/theoremprover-museum/scunac
Described by source
