begcd
The purpose of this webpage is to provide the Coq formalization discussed in:
Formalization:
- Last version on github :
- Older version simu_begcd.tar.gz
- Requirements: Coq-8.7.0 and MathComp-1.6.2
- Installation: see the file
BEGCDINSTALL
in the root directory.
: