Here you can find some of my works in FOCAL:
Computer Algebra libraries
See the home page of
the project for more information.
- Phd Thesis (in French).
- Coq archive of mixDrecs.
The sources described in the Phd Thesis are written in Coq 6.3.1.
They are given here in Coq 8.0 (new concrete syntax).
Translation has been performed by the automatic translator of Coq 8.0.
Last modification: Jan 07 2005