Christopher Chen/陳振華 is a mix of sun and cloud. Working on an ACL2 proof compiler at UBC CS. He/him
Reputation
0
Profile views
1
Joined
Last Online
Christopher Chen/陳振華 is a mix of sun and cloud. Working on an ACL2 proof compiler at UBC CS. He/him