plutus
plutus copied to clipboard
Adapt Behavioural proof CC-CK to SOPs in the metatheory
@ramsay-t do you happen to know the status of this issue?
@ramsay-t do you happen to know the status of this issue?