Reputation
Top tag
Next privilege 250 Rep.
View close votes
Badges
4
Newest
 Editor
Impact
~821 people reached

  • 0 posts edited
  • 0 helpful flags
  • 5 votes cast
Apr
22
asked Satisfiability proof of formulas with pure literals
Apr
22
asked Validity of a first-order formula
Jan
29
asked Get rid of an existential quantifier
Jan
23
asked Number of triangles in a graph
Apr
12
asked Proving By reduction from the Halting Problem