--
greydoubt
🛸 . •. 🌎 ° .• 🌓 • .°• • 🚀 ✯. •. . •.
. • ★ * ° . 🛰 °· •. ๏ .• 🪐
. • • ° ★ • ☄. ๏ •. . •.
Mars
Wm Salt Hale
altsalt
Kilted Globetrotter, Free/Libre/Open Advocate, and Lifelong Hacker
@SeaGL Seattle, WA
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Shenzhen / Heidelberg
Wellington Torrejais da Silva
wellington1993
Brazilian Web Developer, System Analyst, Linux and Unix Enthusiast. Open source Lover.
Hotsoft Informática @hotsoft-desenv2 Maringá, Paraná, Brasil