Stargazer 🌠 (@poly_hedra_) 's Twitter Profile
Stargazer 🌠

@poly_hedra_

Newbie in Lean4

ID: 1803526109243514880

calendar_today19-06-2024 20:32:02

838 Tweet

52 Followers

308 Following