LightNews LightNews
gor.do
@gor.do
10 followers 97 following 3 posts
Posts Replies Media Videos
gor.do
Not possibly, definitely. As an Aussie I can confirm none of us want a bar of that Trump nonsense.
May 4, 2025 at 10:39 AM
gor.do
lean-lang.org
Programming Language and Theorem Prover — Lean
lean-lang.org
February 5, 2025 at 10:14 AM
gor.do
Agreed
December 3, 2024 at 9:57 PM