what's new top 100Sign in

home/#lean4

Projects tagged #lean4

// lean4 (1)

🔓

Interactive Lean 4 + Mathlib formalization from a Claude Code conversation

// ragnasqret/⟨Python⟩★ 10◷ MIT[ claude ]

// claudeers — the Claude ecosystem registry

// exploreCollections Compare Graph Observatory MCP Server

// communityCreators What's New Top 100 Achievements RSS

// account

// companyPricing Privacy Terms Disclaimer

© 2026 RAZLabs LLC — Claudeers is a service operated by RAZLabs LLC, a Delaware limited liability company.
Claudeers is an independent community/ecosystem directory and is not affiliated with, endorsed by, sponsored by, or operated by Anthropic PBC or Claude.
Claude and related marks are trademarks of Anthropic PBC.