Leanprover-community organization

URI: https://gptkb.org/entity/Leanprover-community_organization

GPTKB entity

Statements (77)

Predicate	Object
gptkbp:instanceOf	gptkb:organization
gptkbp:contributedTo	gptkb:software
gptkbp:focusesOn	gptkb:Lean_theorem_prover
gptkbp:founded	collaborative development of Lean and mathlib
gptkbp:hasMember	gptkb:Chris_Hughes gptkb:Kevin_Buzzard gptkb:Peter_Nelson gptkb:Peter_Scholze gptkb:Edward_Ayers gptkb:Andrew_Yang gptkb:Adam_Topaz gptkb:Anne_Baanen gptkb:Bryan_Gin-ge_Chen gptkb:Eric_Wieser gptkb:Floris_van_Doorn gptkb:Gabriel_Ebner gptkb:Heather_Macbeth gptkb:Jasmin_Blanchette gptkb:Jireh_Loreaux gptkb:Johan_Commelin gptkb:Kyle_Miller gptkb:Mario_Carneiro gptkb:Oliver_Nash gptkb:Patrick_Massot gptkb:Rémy_Degenne gptkb:Reid_Barton gptkb:Riccardo_Brasca gptkb:Sebastian_Ullrich gptkb:Simon_Hudon gptkb:Yaël_Dillies gptkb:Scott_Morrison gptkb:Rob_Lewis gptkb:Alex_J._Best gptkb:Amelia_Livingston gptkb:Damiano_Testa gptkb:Jesse_Han gptkb:Jules_Jacobs gptkb:Kenny_Lau gptkb:Yury_Kudryashov Zulip community Armin Straub Bhavik Mehta David Wärn Frédéric Dupuis Jules Hedges Kexing Ying Laurent Théry Manuel Eberl Markus Himmel Moritz Firsching Sébastien Gouëzel Zachary Sarver
gptkbp:hostsRepository	gptkb:mathlib leanprover-community/lean leanprover-community.github.io
https://www.w3.org/2000/01/rdf-schema#label	Leanprover-community organization
gptkbp:language	gptkb:Lean
gptkbp:notableProject	gptkb:mathlib Lean community website Lean Zulip chat Leanprover-community/lean Leanprover-community/lean4 Leanprover-community/lean4-examples Leanprover-community/lean4-mode Leanprover-community/lean4-samples Leanprover-community/lean4-stdlib Leanprover-community/lean4bench Leanprover-community/lean4web Leanprover-community/leanproject Leanprover-community/mathlib-tools Leanprover-community/mathlib4
gptkbp:platform	gptkb:GitHub
gptkbp:relatedTo	proof assistants formalized mathematics
gptkbp:website	https://leanprover-community.github.io/
gptkbp:bfsParent	gptkb:Lean_community
gptkbp:bfsLayer	7