People at Savannah: nicolas marti profile
Open items submitted by nicolas marti
None found
Open items assigned to nicolas marti
None found
General information
Id: | #34673 |
Display name: | nicolas marti |
Login name: | alalme |
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 membership
- 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.
Powered by Savane 3.14-50d9.
Corresponding source code