WOLFRAM COMMUNITY
Connect with users of Wolfram technologies to learn, solve problems and share ideas
Join
Sign In
Dashboard
Groups
People
Group Abstract
Message Boards
Answer
(
Unmark
)
Mark as an Answer
WOLFRAM COMMUNITY
Dashboard
Groups
People
13
|
19.7K Views
|
5 Replies
|
14 Total Likes
View groups...
Follow this post
Share
Share this post:
GROUPS:
Staff Picks
Mathematics
Software Development
Mathematica
Algebra
Dynamic Interactivity
Logic and Boolean Algebra
Wolfram Language
Packages
Symbolic Computations
Implementing a simple proof assistant and type system
Anthony Hart
Anthony Hart
Posted
9 years ago
Attachments:
POSTED BY:
Anthony Hart
Reply
|
Flag
5 Replies
Sort By:
Replies
Likes
Recent
1
Thorsten Altenkirch
Thorsten Altenkirch
Posted
4 years ago
POSTED BY:
Thorsten Altenkirch
Reply
|
Flag
0
stefan veeser
stefan veeser
Posted
4 years ago
POSTED BY:
stefan veeser
Reply
|
Flag
0
Anthony Hart
Anthony Hart
Posted
4 years ago
POSTED BY:
Anthony Hart
Reply
|
Flag
0
stefan veeser
stefan veeser
Posted
4 years ago
POSTED BY:
stefan veeser
Reply
|
Flag
0
EDITORIAL BOARD
EDITORIAL BOARD, WOLFRAM
Posted
9 years ago
POSTED BY:
EDITORIAL BOARD
Reply
|
Flag
Reply to this discussion
in reply to
Add Notebook
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.
Publish anyway
Cancel
Reply Preview
Attachments
Remove
Add a file to this post
Follow this discussion
or
Discard
Be respectful. Review our
Community Guidelines
to understand your role and responsibilities.
Community Terms of Use
Feedback
