WOLFRAM COMMUNITY
Connect with users of Wolfram technologies to learn, solve problems and share ideas
Join
Sign In
Dashboard
Groups
People
User Portlet
«
People
Anthony Hart
Featured Contributor
Profile
Groups
Discussions
Anthony Hart
Not indicated
LOCATION:
Not indicated
WEBSITE:
Not indicated
BLOG:
https://tetragrammatilog.wordpress.com
SOCIAL:
Not indicated
INTERESTS IN JOBS & NETWORKING:
Not indicated
ABOUT ME:
STAFF PICKS:
Implementing a simple proof assistant and type system
Be respectful. Review our
Community Guidelines
to understand your role and responsibilities.
Community Terms of Use
Feedback