People at Savannah: Seo Sanghyeon profile
Open items submitted by Seo Sanghyeon
None found
Open items assigned to Seo Sanghyeon
None found
General information
Id: | #68266 |
Display name: | Seo Sanghyeon |
Login name: | sanxiyn |
Email address: | -email is unavailable- |
Site member since: | Sun 22 Jun 2008 04:17:06 PM UTC |
This user did not enable Resume & Skills. |
Group membership
- Library of Formalized Mathematics for Isabelle/Isar (ZF Logic)
Member since Sun 22 Jun 2008 06:56:08 PM UTC
You could send a message if you were logged in.
Powered by Savane 3.13-269c.
Corresponding source code