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: | -unavailable- |
| Site Member Since: | Mon 06 Sep 2004 05:20:27 AM UTC |
| This user did not enable his/her Resume & Skills. | |
| Download GPG Key |
Project/Group Information
- Poussin proof assistant
Member since Sat 05 Jan 2008 02:07:32 AM UTC - Separation Logic in Coq
Member since Fri 06 Jan 2006 04:23:36 AM UTC
You Could Send a Message if you were logged in.


