3,363
reputation
241 views
discussion user
network profile

Registered User

name Eric
member for 11 years
seen Nov 23 at 5:39
website
location United Kingdom

Into robotics.

Languages:

  • Java
  • C
  • C++
  • HTML
  • CSS
  • PHP
  • Javascript

0

Proposals


1

Current Commitment

286
committed

Proof Assistants

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

0

Fulfilled Commitments


1

Followed

286
committed

Proof Assistants

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

0

Example Questions


47

Votes Cast

29 up

18 down