Login
You're viewing the social.eqrion.net public feed.
  • Ryan Huntryan
    Sep 9, 2026, 6:24 PM

    Reading through Lean reference docs:

    Popup for browser "Translate this page?" from Greek to English
    💬 0🔄 0⭐ 1