Skip to content
Snippets Groups Projects
Select Git revision
  • mixed_choice
  • master default protected
  • 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
  • close_spec
  • later_strip
20 results
Compare
Ralf Jung's avatar
create iris_meta file for meta-theorems (adequacy, lifting lemmas). formulate...
Ralf Jung authored 
create iris_meta file for meta-theorems (adequacy, lifting lemmas). formulate two of our four lifting lemmas.
4bec9617
History
Ralf Jung's avatar 4bec9617
History
Name Last commit Last update