Found 1 document(s)
Page 1 of 1
-
The POPLmark challenge has been a source of progress for the representation of binders in proof assistants for sequential calculi. In the same spirit, the Concurrent Calculi Formalization Benchmark proposes a set of chal...