Adapt Behavioural proof CK-CEK to SOPs in the metatheory

Open ana-pantilie opened this issue 1 year ago • 5 comments

May 24 '24 10:05 ana-pantilie

@ramsay-t do you happen to know the status of this issue?

Jun 19 '24 01:06 effectfully

@effectfully these were JIRA issues migrated to GitHub. I think they are "tech debt" things where we just need to update a couple of proofs after the addition of the Sum-Of-Products stuff (before I joined)? I will look into them as I get into the CEK machine stuff in the next PI.

Oct 08 '24 07:10 ramsay-t

@ramsay-t thank you! If at any point you feel like this issue (and others of this kind) isn't worth keeping open, please close it.

Oct 08 '24 09:10 effectfully

(sorry about accidental closing, got a bit too excited)

Oct 08 '24 09:10 effectfully

@ramsay-t any updates on this one?

Jun 25 '25 20:06 effectfully