User Portlet User Portlet

Eric Archerman
Discussions
thanks, you too!
Wow, I know this is from quite a few years back but I just saw this...I love the way you visualize the path of proving mathematical statements. I never thought of things this way!
Great work Chanu!
Truly amazing Max!
Wonderful work, Nicholas! Truly gobsmacking!
Excellent application of multiway graphs and Pushdown automata!