-
Notifications
You must be signed in to change notification settings - Fork 2
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
feat(interaction): plug/par and plug/wire factorization up to activation equivalence
enhancementNew feature or requestNew feature or requestStatus: Open.#123 In Verified-zkEVM/PolyFun;Design: let the observation relation carry the UC composition laws
enhancementNew feature or requestNew feature or requestStatus: Open.#122 In Verified-zkEVM/PolyFun;refactor(pfunctor): simplify universe annotations
enhancementNew feature or requestNew feature or requestStatus: Open.#120 In Verified-zkEVM/PolyFun;refactor(pfunctor): derive product distribution
enhancementNew feature or requestNew feature or requestStatus: Open.#119 In Verified-zkEVM/PolyFun;refactor(monad): settle morphism hierarchy
enhancementNew feature or requestNew feature or requestStatus: Open.#118 In Verified-zkEVM/PolyFun;feat(ipfunctor): add equivalence bridges
enhancementNew feature or requestNew feature or requestStatus: Open.#117 In Verified-zkEVM/PolyFun;