People at Puszcza: Mario Xerxes Castelán Castro Profile
Show feedback again
Follows the Profile of Mario Xerxes Castelán Castro <marioxcc>.
Open Items submitted by Mario Xerxes Castelán Castro
None found
Open Items assigned to Mario Xerxes Castelán Castro
None found
General Information
| Real Name: | Mario Xerxes Castelán Castro |
| Login Name: | marioxcc |
| Id: | #2951 |
| Email Address: | -unavailable- |
| Site Member Since: | Sun Oct 1 16:20:28 2017 |
| Download GPG Key |
Project/Group Information
- Formalization of mathematics in higher order logic (HOL4 proof assistant)
Member since Sun Oct 1 16:48:52 2017
You Could Send a Message if you were logged in.
