People at Savannah: Daniel de la Concepción Sáez Profile
Follows the Profile of Daniel de la Concepción Sáez <dan232>.
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
| Real Name: | Daniel de la Concepción Sáez |
| Login Name: | dan232 |
| Id: | #89138 |
| Email Address: | Send him/her a mail |
| Site Member Since: | Fri 07 Sep 2012 03:27:42 AM UTC |
| This user did not enable his/her Resume & Skills. |
Project/Group Information
- 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.


