151
reputation
10 views
discussion user
network profile

Registered User

name cic
member for 9 years
seen Nov 21 at 22:55
website
location Sweden

I'm a software developer. I solve combinatorial optimization problems with Java. I also know how to add numbers.

0

Proposals


0

Current Commitments


0

Fulfilled Commitments


1

Followed

294
committed

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.
define
commit
beta

0

Example Questions


8

Votes Cast

8 up

0 down