theories/examples/basics.v · master · Iris / Actris · GitLab

Skip to content

GitLab

Explore

Sign in

actris
theories
examples
basics.v

Blame Permalink

Jan 30, 2024
ac878307

Renamed start_chan to fork_chan to conform with LinearActris · ac878307
Jonas Kastberg authored Jan 30, 2024

ac878307

Renamed start_chan to fork_chan to conform with LinearActris
Jonas Kastberg authored Jan 30, 2024

Loading