Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • step_proto
  • miniactris-init
  • robbert/new_contractive
  • msammler/new_contractive
  • mini_actris1
  • multiparty
  • close_spec
  • later_strip
  • channel_closure_spec
  • jonas/liter
  • jonas/pizza
  • cpp21
  • jonas/lty_helper_lemmas
  • jonas/coexponentials
  • jonas/ring_leader_election
  • iris-update
  • lmcs
  • cpp21_deprecated
  • jesper
20 results
Compare
Forked from Iris / Actris
772 commits behind the upstream repository.
user avatar
Changed branching to be over sides
Jonas Kastberg Hinrichsen authored
f5bd0369
History
user avatar f5bd0369
History
Name Last commit Last update
theories
.gitignore
Makefile
_CoqProject