Home My Page Projects

User Profile

Personal Information
User Id:8653
Login Name: emartind
Real Name:
Dr Erik Martin-Dorel
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)