People at Savannah: nicolas marti profile
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
Open items assigned to nicolas marti
Poussin proof assistant:
Open items submitted by nicolas marti
You could send a message if you were logged in.
Powered by Savane 3.16.
Corresponding source code
