MaRDI QIDQ33136swMATHFDO
Official website https://github.com/theoremprover-museum/scunac
Source code repository https://github.com/theoremprover-museum/scunac
This page was built for software: scunac