People at Savannah: Daniel de la Concepción Sáez profile
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 membership
- Library of Formalized Mathematics for Isabelle/Isar (ZF Logic)
Member since Fri 07 Sep 2012 04:57:35 PM UTC
Open items assigned to Daniel de la Concepción Sáez
Open items submitted by Daniel de la Concepción Sáez
You could send a message if you were logged in.
Powered by Savane 3.16.
Corresponding source code
