SageBinder
Graduated from Arizona State University with a B.S. in mathematics and a minor in philosophy. Incoming UIowa CS PhD student, with an interest in formalizing mathematics and developing proof assistants.
- 0 Posts
- 1 Comment
Joined 2 年前
Cake day: 2023年6月3日
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
@Surreal @bikesarethefuture and all of JetBrains’ IDEs, including Rider, are completely free for students