Report Leaderboards Trust Proven Rated Movers Records Buzz Games Emojis Topics Categories Browse Check Archive

Lean Theorem Prover servers

1 measured server(s) with the Lean Theorem Prover sub-topic, ranked by real members. Browse topics →

Server	Members	Online	Active
1 SF.lean勉強会	29	9	31.0%

State of Discord Trust ranking Movers Milestones New & rising Oldest Vanity URLs Compare Statistics Topics Categories Languages Clone networks Operators Creator servers Buzz Browse Guild Tags Archive Trust check API

GuildRegister — an independent, measured record of public Discord servers. Member and online counts are measured from Discord's public invite API; approximate by nature. Not affiliated with Discord.