Message Boards Message Boards

[WSS17] Automated Theorem Proving for Equational Logic

Attachments:
POSTED BY: Jonathan Gorard

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!

POSTED BY: Eric Archerman
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract