leanprover-community/mathlib3

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

formal-mathematicsformal-methodsformal-proofsleanproof-automationtheorem-proving

Licencia y mantenimiento

Apache-2.0 es una licencia permisiva: uso comercial libre con atribución.

Último cambio de código hace 2 años. Archivado: solo lectura, sin más actualizaciones.

	Repositorio	Estrellas	Lenguaje	Licencia	Actividad
1	react/reactThe library for web and native user interfaces.	★ 251.3k	JavaScript	MIT	Activo
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	Activo
3	twbs/bootstrapThe most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.	★ 174.9k	MDX	MIT	Activo
4	react/react-nativeA framework for building native applications using React	★ 126.7k	C++	MIT	Activo
5	mrdoob/three.jsJavaScript 3D Library.	★ 116.6k	JavaScript	MIT	Activo
6	d3/d3Bring data to life with SVG, Canvas and HTML. :bar_chart::chart_with_upwards_trend::tada:	★ 113.8k	Shell	ISC	Menos activo
7	react/create-react-appSet up a modern web app by running one command.	★ 103.2k	JavaScript	MIT	Sin cambios
8	ant-design/ant-designAn enterprise-class UI design language and React UI library	★ 99.8k	TypeScript	MIT	Activo