Computer Science
Profile Activity
Main user
Network profile
9,219
reputation
9
7

jmad

I play with functions and processes.

3
answers
1
question
~582
people reached
  • Member for 9 years, 2 months
  • 10 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 (16)

Gold

—

Silver

9

Rarest

Bronze

7

Rarest

View all badges →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.