People at Savannah: Seo Sanghyeon Profile
Follows the Profile of Seo Sanghyeon <sanxiyn>.
Open Items submitted by Seo Sanghyeon
None found
Open Items assigned to Seo Sanghyeon
None found
General Information
Real Name: | Seo Sanghyeon |
Login Name: | sanxiyn |
Id: | #68266 |
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 Information
- 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.