leanprover-community/mathlib3

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

formal-mathematicsformal-methodsformal-proofsleanproof-automationtheorem-proving

License & maintenance

Apache-2.0 is a permissive license: free to use commercially with attribution.

Last code push 2 years ago. Archived: read-only, no further updates.

	Repository	Stars	Language	License	Activity
1	react/reactThe library for web and native user interfaces.	★ 251.3k	JavaScript	MIT	Active
2	ohmyzsh/ohmyzsh🙃 A delightful community-driven (with 2,500+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (	★ 190.1k	Shell	MIT	Active
3	twbs/bootstrapThe most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.	★ 174.9k	MDX	MIT	Active
4	react/react-nativeA framework for building native applications using React	★ 126.7k	C++	MIT	Active
5	mrdoob/three.jsJavaScript 3D Library.	★ 116.6k	JavaScript	MIT	Active
6	d3/d3Bring data to life with SVG, Canvas and HTML. :bar_chart::chart_with_upwards_trend::tada:	★ 113.8k	Shell	ISC	Slowing
7	react/create-react-appSet up a modern web app by running one command.	★ 103.2k	JavaScript	MIT	Stale
8	ant-design/ant-designAn enterprise-class UI design language and React UI library	★ 99.8k	TypeScript	MIT	Active