opam

theories/channel/channel.v

theories/examples/basics.v

theories/examples/list_rev.v

theories/examples/map_reduce.v

theories/examples/par_map.v

theories/examples/rpc.v

theories/examples/sort.v

theories/examples/sort_br_del.v

theories/examples/sort_fg.v

theories/examples/swap_mapper.v

theories/logrel/examples/compute_client_list.v

theories/logrel/examples/mapper_list.v

theories/logrel/examples/par_recv.v

theories/logrel/lib/list.v

theories/logrel/lib/mutex.v

theories/logrel/session_typing_rules.v

theories/logrel/term_typing_rules.v

theories/utils/llist.v