Popular repositories Loading

1. concurrent-benchmark-solution concurrent-benchmark-solution Public

   A solution to the 2nd challenge of the Concurrent Calculi Formalisation Benchmark in the proof assistant Beluga, by Alberto Momigliano and Gabriele Cecilia

   1

2. Exercises-on-CCS-CCSK-and-RCCS Exercises-on-CCS-CCSK-and-RCCS Public

   Forked from CinRC/Exercises-on-CCS-CCSK-and-RCCS

   A collection of exercises about CSS and its reversible declensions

   TeX