Popular repositories Loading
-
ipl2017
ipl2017 PublicIsabelle/HOL mechanisation of our IPL 2017 submission: "The Interchange Law: A Principle of Concurrent Programming".
Isabelle
Repositories
Showing 1 of 1 repositories
- ipl2017 Public
Isabelle/HOL mechanisation of our IPL 2017 submission: "The Interchange Law: A Principle of Concurrent Programming".
cka-models/ipl2017’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…