TaMaDi: Table Maker's Dilemma

The TaMaDi logo

The TaMaDi project of the ANR

The main page of the project is located on the TaMaDiWiki.

The CoqApprox working group

You can visit the CoqApprox web page.

The CoqHensel library

You can also visit the CoqHensel web page.

Double Roundings in Coq

Finally, you can visit the web page dedicated to the Double Roundings in Coq project.

Last modified: Wednesday 2014-10-01, 13:11:00 +0200