begcd

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

Online documentation

Formalization: