People at Savannah: Daniel de la Concepción Sáez profile
Open items submitted by Daniel de la Concepción Sáez
None found
Open items assigned to Daniel de la Concepción Sáez
None found
General information
Id: | #89138 |
Display name: | Daniel de la Concepción Sáez |
Login name: | dan232 |
Email address: | Send this user a mail |
Site member since: | Fri 07 Sep 2012 03:27:42 AM UTC |
This user did not enable Resume & Skills. |
Group membeship
- Library of Formalized Mathematics for Isabelle/Isar (ZF Logic)
Member since Fri 07 Sep 2012 04:57:35 PM UTC
You could send a message if you were logged in.
Powered by Savane 3.13-7f26.
Corresponding source code