Leni Aniva

https://leni.sh

Stanford University Centaur Lab @stanford-centaur San Francisco Bay Area, Gensokyo Machine Assisted Theorem Proving (MATP) Resercher; Interested in CAD, Visualizations, and Numerical Simulations