Home My Page Projects

User Profile

Personal Information
User Id: 729
Login name: cpaulin
Real Name:
Mme Christine PAULIN-MOHRING
Email Address:: christine.paulin-mohring @nospam@ inria.fr
Address: LRI Bat 650 Universite Paris Sud
91405 ORSAY cedex
Phone: 01 69 15 64 39
Site Member Since: 2006-01-09 13:24
Diary and Notes
Diary/Note entries: 0

View Diary & Notes

Monitor this Diary

Project Info

This developer is a member of the following projects:


CertiCrypt (Senior Developer)

Coq (Developer)

Coq 30 years (Admin)

coqart (Junior Developer)

Coq Contribs (Coq Developer)

Coq dev tools (Senior Developer)

Coq Formation (Admin)

Proof-admin (Admin)

SCALP (Admin)

Toccata (Regular Member)