Reputation
Next privilege 250 Rep.
View close votes
Badges
5
Newest
 Tumbleweed
Impact
~571 people reached

  • 0 posts edited
  • 0 helpful flags
  • 3 votes cast
Sep
13
awarded  Tumbleweed
Sep
6
asked Euclidean division
Sep
29
accepted Knuth-Bendix ordering and the one unary function
Sep
23
asked Knuth-Bendix ordering and the one unary function
May
25
awarded  Supporter
May
25
accepted What is the Pacman lemma?
May
25
asked What is the Pacman lemma?
May
24
awarded  Scholar
May
24
accepted Superposition calculus and equality factoring
May
24
awarded  Student
May
24
awarded  Teacher
May
22
answered Superposition calculus and equality factoring
May
22
asked Superposition calculus and equality factoring