Added implementation for two-buyer and refactored
parent
8e968ab2
No related branches found
No related tags found
Showing
- _CoqProject 1 addition, 0 deletions_CoqProject
- multi_actris/channel/proofmode.v 2 additions, 2 deletionsmulti_actris/channel/proofmode.v
- multi_actris/examples/basics.v 0 additions, 85 deletionsmulti_actris/examples/basics.v
- multi_actris/examples/two_buyer.v 133 additions, 0 deletionsmulti_actris/examples/two_buyer.v
Loading
Please register or sign in to comment