X
Eric Wieser
Log in
Sign up
Eric Wieser
788 posts
Eric Wieser
@EricWieser
Maintainer for
#leanprover
's Mathlib,
@numpy
, and
#cocotb
. Roboticist. PhD.
UK
Joined November 2009
179
Following
381
Followers
Posts
Posts
Replies
Replies
Media
Media
Don't miss what's happening
People on X are the first to know.
Log in
Sign up
@EricWieser hasn’t posted
When they do, their posts will show up here.
×
Advertisement
