Home My Page Projects

User Profile

Personal Information
User Id: 5335
Login name: mdenes
Real Name:
Maxime Dénès
Email Address:: mail @nospam@ maximedenes.fr
Site Member Since: 2008-05-19 07:38
Diary and Notes
Diary/Note entries: 0

View Diary & Notes

Monitor this Diary

Project Info

This developer is a member of the following projects:

Coq (Developer)

Coq Contribs (Coq Developer)

Coq dev tools (Senior Developer)

CoqFiniteGroups (Junior Developer)

Diogene (Junior Developer)

marelledocs (Junior Developer)

QuickChick (Admin, Developer)