Software
- SimSoC-Cert:
a certified processor simulator
- CoLoR: a Coq Library on
Rewriting theory and termination
- Rainbow: a termination
certificate checker
- Moca: a generator of
construction functions for data types with some eqautional theories on
constructors
Last updated on 9 November 2011.
Come back to main page.