51
reputation
1 views
network profile

Registered User

name Jack B.
member for 28 days
seen Dec 11 at 0:51
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


5

Votes Cast

5 up

0 down