- š Hi, Iām @bacaimano
- š Iām interested in mathematics.
- š± Iām currently learning lean proof checker.
- šļø Iām looking to collaborate on mathematical programming.
- š« How to reach me: [email protected].
bacaimano Goto Github PK
Type: User
Location: Upstate NY