plclub/cbpv-effects-coeffects: Formalization of CBPV extended with effect and coeffect trackingFormalization of CBPV extended with effect and coeffect tracking - plclub/cbpv-effects-coeffects#research#cbpv-effects-coeffects#polarized-subtyping#rocq#coq·github.com·Jan 21, 2025plclub/cbpv-effects-coeffects: Formalization of CBPV extended with effect and coeffect tracking