Skip to content
This repository has been archived by the owner on Feb 5, 2022. It is now read-only.

Formally prove multi_receive core lemmas #43

Closed
jeltsch opened this issue May 17, 2019 · 1 comment
Closed

Formally prove multi_receive core lemmas #43

jeltsch opened this issue May 17, 2019 · 1 comment
Assignees
@javierdiaz72
Labels
language: isabelle reason: wontfix topic: process calculus type: enhancement
Projects
Formally prove relaying–broadcasting ...

Comments

@jeltsch
Copy link
Contributor

jeltsch commented May 17, 2019

Our goal is to formally prove the multi_receive core lemmas described in #32.

Informal proofs of these lemmas are given in #15 (comment).
@jeltsch jeltsch added this to the 2019-06-10 meeting milestone May 17, 2019
@jeltsch jeltsch self-assigned this May 17, 2019
@jeltsch jeltsch removed their assignment May 26, 2019
@jeltsch jeltsch removed this from the 2019-06-10 meeting milestone Jun 23, 2019
@jeltsch
Copy link
Contributor Author

jeltsch commented Jan 25, 2022

I’m closing this issue, since this development will take place in the new repository thorn-calculus.

@jeltsch jeltsch closed this as completed Jan 25, 2022
Formally prove relaying–broadcasting equivalence automation moved this from To do to Done Jan 25, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@javierdiaz72 javierdiaz72

Labels
language: isabelle reason: wontfix topic: process calculus type: enhancement
Projects
No open projects
Formally prove relaying–broadcasting ...
  
Done
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jeltsch @javierdiaz72