leanprover-community/mathlib4
Lean 4 math library for Lean 4
Lean
MCP & Tool Ecosystem
Lean Prover Community
Apache-2.0
3.0K
Stars
1.1K
Forks
May 9, 2021
Created
Mar 5, 2026
Last Updated
Project Analytics
Stars Growth (1 Month)
+99
+3.4% change
Avg Daily Growth (1 Month)
+3.8
stars per day
Fork/Star Ratio (All Time)
37.7%
High engagement
Lifetime Growth
1.7
stars/day over 1.8K days
Stars Over Time
Forks Over Time
Open Issues Over Time
Pull Requests Over Time
Commits Over Time
Topics
AI-Generated Tags
mathlib4
lean4
mathematics
prover
Lean
Similar Projects
n8n-io/n8n
Secure workflow automation with code and AI capabilities for technical teams
177.7K
TypeScript
langgenius/dify
Dify is an open-source platform for developing LLM applications with agentic workflows, RAG pipelines, and model management.
131.3K
TypeScript
open-webui/open-webui
Self-hosted AI platform with Ollama and OpenAI API support
125.9K
Python
microsoft/markitdown
Converts files and office documents to Markdown for LLMs
90.2K
Python
Comments (0)
Sign in to leave a comment or vote
Sign InNo comments yet. Be the first to comment!
Stay in the loop
Get weekly updates on trending AI coding tools and projects.