People at Savannah: nicolas marti Profile
Follows the Profile of nicolas marti <alalme>.
Open Items submitted by nicolas marti
None found
Open Items assigned to nicolas marti
None found
General Information
Real Name: | nicolas marti |
Login Name: | alalme |
Id: | #34673 |
Email Address: | -email is unavailable- |
Site Member Since: | Mon 06 Sep 2004 05:20:27 AM UTC |
This user did not enable Resume & Skills. | |
Download GPG Key |
Group Information
- Separation Logic in Coq
Member since Fri 06 Jan 2006 04:23:36 AM UTC - Poussin proof assistant
Member since Sat 05 Jan 2008 02:07:32 AM UTC
You could send a message if you were logged in.