seplogC

The purpose of this webpage is to provide the Coq formalization discussed in:

Documentation:

Formalization: