control-operators

There are 2 repositories under control-operators topic.

Kamirus/lambda-formalizations
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
Language:Coq4 2 01
Kamirus/fine-grained-shift0-dollar
Coq Formalisation of "A Fine-Grained Evaluation Strategy for Delimited-Control Operators shift0/dollar"
Language:Coq1 0