Computer Science
Profile Activity
Main user
Network profile
8,902
reputation
8
7

jmad

I play with functions and processes.

3
answers
1
question
~562
people reached
  • Member for 8 years
  • 9 profile views
  • Last seen Feb 29 '16 at 23:24

Communities (19)

Top network posts

Top tags (5)

Score 5
Posts 4
Score 2
Posts 1
Score 2
Posts 1
Score 1
Posts 1
Score 0
Posts 1

Top posts (4)

All Questions Answers
Votes Newest
4 How to capture all levels of difficulty May 20 '12
2 Customising our chat May 20 '12
2 Scope limits on proof assistants (e.g. Coq) Mar 8 '12
1 Tag automata — should it be automata-theory? May 22 '12

Badges (15)

Gold

—

Silver

8

Rarest

Bronze

7

Rarest

View all badges →