leanprover-community/mathlib

Lean 3's obsolete mathematical components library: please use mathlib4

LeanOthertheorem-provingleanformal-methodsformal-mathematicsproof-automationformal-proofs
This is stars and forks stats for /leanprover-community/mathlib repository. As of 28 Mar, 2024 this repository has 1609 stars and 303 forks.

Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
ImperialCollegeLondon/formalising-mathematics-2022Lean1120270
openai/lean-gymLeanShell1200310
llvm-mirror/llvmLLVMC++Assembly4.6k02.1k0
Kong/kongLuaPerlShell36k+374.6k+3
apache/apisixLuaShellGo12.7k+242.3k+4
ray-x/lsp_signature.nvimLuaOther1.7k0430
L3MON4D3/LuaSnipLuaOther2.3k+8210+1
lsyncd/lsyncdLuaCCMake5.4k04710
neovim/nvim-lspconfigLuaOther8.2k+411.9k-1
hrsh7th/nvim-cmpLuaVim ScriptOther5.9k+293110