lenianiva

View JSON Representation

Machine Assisted Theorem Proving (MATP) Resercher; Interested in CAD, Visualizations, and Numerical Simulations

• Name: Leni Aniva
• Location: San Francisco Bay Area, Gensokyo
• Company: Stanford University Centaur Lab @stanford-centaur
• Kind: user
• Followers: 59
• Following: 12
• Total stars: 15
• Repositories count: 24
• Created at: 2023-04-27T04:13:26.668Z
• Updated at: 2025-03-24T04:13:34.217Z
• Last synced at: 2025-03-24T04:13:34.215Z

Past Sponsorships

View All

Sponsorship Breakdown by Kind

• Organization: 1