51
reputation
1 views
network profile

Registered User

name Jack B.
member for 3 months
seen Jan 25 at 0:01
website
location

I'm currently studying computer science, with a particular interest in formal verification and theorem proving.

0

Proposals


0

Current Commitments


0

Fulfilled Commitments


0

Followed


0

Example Questions


5

Votes Cast

5 up

0 down