plclub / cbpv-effects-coeffects

Formalization of CBPV extended with effect and coeffect tracking
β˜†11Updated 2 months ago

Related projects β“˜

Alternatives and complementary repositories for cbpv-effects-coeffects