Theoretical Computer Science
Network profile
113
reputation
1
4

darxsys

Apparently, this user prefers to keep an air of mystery about them.

0
answers
1
question
~3k
people reached
  • Seattle, WA, USA
  • darxsys
  • Member for 5 years, 4 months
  • 6 profile views
  • Last seen Jun 12 at 16:36

Communities (19)

Top network posts

Top tags (2)

Score 0
Posts 1
Score 0
Posts 1

Top posts (1) All Questions Answers | Votes Newest

2 CTL and LTL logic difference Apr 1 '14

Badges (5)

Gold

—

Silver

1

Rarest

Bronze

4

Rarest