Muddy children

swMATH28672MaRDI QIDQ40386FDOQ40386

Author name not available (Why is that?)

Source code repository: https://github.com/goodlyrottenapple/muddy-children

Cited In (1)

• Software tool support for modular reasoning in modal logics of actions

This page was built for software: Muddy children