search

shenef / SoS-TAS

Sea of Stars TAS
3 stars 0 forks source link

Mathlib fix #98

Closed orkaboy closed 1 year ago

orkaboy commented 1 year ago

Minor tweaks to Vec2 and Vec3