Select Git revision
- Branches 20
- mixed_choice_list_consistent
- master default protected
- mixed_choice_list
- mixed_choice
- robbert/fold_iProto
- multiparty_synchronous
- robbert/truly_affine_iProto_le
- multiparty_synchronous_mpc_example
- multiparty_synchronous_matrix
- multiparty_synchronous_choice
- multiparty_synchronous_recv_simpl
- multiparty_synchronous_simple_inv
- multiparty_synchronous_list
- multiparty_leader_election
- step_proto
- miniactris-init
- robbert/new_contractive
- msammler/new_contractive
- mini_actris1
- multiparty
Compare
-
-
- Open in your IDE
- Download source code
| Name | Last commit | Last update |
|---|---|---|
| theories | ||
| .gitignore | ||
| Makefile | ||
| _CoqProject |