avatar
AnalyticSort @phialgorithm.bsky.social
📤 274 📥 243 📝 4299

Formal methods enthusiast and wannabe logician.