Episode #125 of the Stack Overflow podcast is here. We talk Tilde Club and mechanical keyboards. Listen now
Computer Science
Meta user
Network profile
205
reputation
6

f9c69e9781fa194211448473495534

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

4
answers
0
questions
~703
people reached
  • Member for 8 months
  • 11 profile views
  • Last seen 13 hours ago

Communities (19)

Top network posts

Top tags (6)

Score 3
Posts 1
Posts % 25
Score 2
Posts 1
Score 2
Posts 1
Score 1
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (4) All Questions Answers | Votes Newest

3 Temporal logic - mixing AF and AG in CTL formula Apr 8
2 Computability - The language of all strings of even length Apr 21
1 Let L be any non-empty language over an alphabet Σ. Show that $L^2$ ⊆ $L^3$ if and only if λ ∈ L Sep 20
0 Why do we have free variables in mu-calculus? Oct 15

Badges (6)

Gold

—

Silver

—

Bronze

6

Rarest