Group Abstract Group Abstract

Message Boards Message Boards

0
|
6K Views
|
1 Reply
|
2 Total Likes
View groups...
Share
Share this post:

Do logicians use Wolfram Language?

Do logicians use Wolfram Language? For instance for proof trees in sequent calculus. General answers are welcome.
POSTED BY: Stephan Spahn
1 Reply
Sort By:
POSTED BY: Sam Carrettie
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Tag limit exceeded
Note: Only the first five people you tag will receive an email notification; the other tagged names will appear as links to their profiles.
Reply Preview
Attachments
Remove
or Discard