kdrag

knuckledragger

kdrag
kdrag.theories
kdrag.theories.logic
kdrag.theories.logic.temporal
kdrag.theories.logic.temporal.lift_binop
View page source

kdrag.theories.logic.temporal.lift_binop

kdrag.theories.logic.temporal.lift_binop(S, op)

Previous Next

© Copyright 2024, Philip Zucker.

Built with Sphinx using a theme provided by Read the Docs.