160 reputation
4
bio website ayane.io
location
age
visits member for 3 years, 3 months
seen Jul 15 at 1:42

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