swMATH41712MaRDI QIDQ1353374FDOQ1353374
Official website https://hal.inria.fr/inria-00156190v1/document
Source code repository https://github.com/spreadthesource/wooki
This page was built for software: Wooki