Computer Science
Main user
Network profile
8,872
reputation
7
7

jmad

I play with functions and processes.

3
answers
1
question
~562
people reached
  • Member for 7 years, 11 months
  • 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 (14)

Gold

—

Silver

7

Rarest

Bronze

7

Rarest

View all badges →