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
7
|
4.7K Views
|
1 Reply
|
7 Total Likes
View groups...
Follow this post
Share
Share this post:
GROUPS:
Staff Picks
Wolfram Science
Computer Science
Mathematics
Equation Solving
Logic and Boolean Algebra
Wolfram Language
Computer-Based Maths
Wolfram Summer School
Wolfram Fundamental Physics Project
[WWS24] Lean Exploration: A Deep Dive into the Wolfram Axiom
Shriya Thakur
Shriya Thakur, Boston University
Posted
2 years ago
Attachments:
DOWLOAD-DESKTOP-...nb
POSTED BY:
Shriya Thakur
Reply
|
Flag
1 Reply
Sort By:
Replies
Likes
Recent
0
EDITORIAL BOARD
EDITORIAL BOARD, WOLFRAM
Posted
2 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
Attachments:
