Refactoring
parent
53a26ad3
No related branches found
No related tags found
Showing
- _CoqProject 8 additions, 5 deletions_CoqProject
- multi_actris/channel/channel.v 2 additions, 2 deletionsmulti_actris/channel/channel.v
- multi_actris/channel/proofmode.v 2 additions, 2 deletionsmulti_actris/channel/proofmode.v
- multi_actris/channel/proto.v 1 addition, 1 deletionmulti_actris/channel/proto.v
- multi_actris/channel/proto_consistency_examples.v 1 addition, 2 deletionsmulti_actris/channel/proto_consistency_examples.v
- multi_actris/channel/proto_model.v 1 addition, 1 deletionmulti_actris/channel/proto_model.v
- multi_actris/utils/cofe_solver_2.v 88 additions, 0 deletionsmulti_actris/utils/cofe_solver_2.v
- theories/channel/channel.v 267 additions, 220 deletionstheories/channel/channel.v
- theories/channel/proto.v 655 additions, 706 deletionstheories/channel/proto.v
Loading
Please register or sign in to comment