Home My Page Projects

User Profile

Personal Information
User Id:8653
Login Name: emartind
Real Name:
Dr Erik Martin-Dorel
Email Address: erik.martin-dorel @nospam@ irit.fr
Equipe ACADIE, IRIT Université Paul Sabatier, 118 route de Narbonne
Phone: +33 5 61 55 64 16
Site Member Since: 2009-12-10 14:05
Diary and Notes
Diary/Note entries: 0

View Diary and Notes

Monitor this Diary

Project Information

This user is a member of the following projects:

CoqFiniteGroups (Junior Developer)

Coq.Interval (Developer)

Flocq (Junior Developer)

Gappa (Junior Developer)

Toccata (Regular Member)