|
gptkbp:instanceOf
|
gptkb:community
|
|
gptkbp:focusesOn
|
gptkb:Lean_theorem_prover
interactive theorem proving
formal mathematics
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Lean community
|
|
gptkbp:mainLanguage
|
English
|
|
gptkbp:notableMember
|
gptkb:Chris_Hughes
gptkb:Kevin_Buzzard
gptkb:Peter_Nelson
gptkb:Peter_Scholze
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: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:Johan_Wästlund
gptkb:Jules_Jacobs
gptkb:Kenny_Lau
gptkb:Yury_Kudryashov
|
|
gptkbp:notableProject
|
gptkb:mathlib
gptkb:Lean_Game
gptkb:Lean_Zulip_Archive
gptkb:Lean_community_Discourse
gptkb:Lean_community_GitHub
gptkb:Lean_community_Gitter
gptkb:Lean_community_MathOverflow_tag
gptkb:Lean_community_Stack_Overflow_tag
gptkb:Lean_community_Zulip
gptkb:Lean_web_editor
gptkb:Leanprover-community_organization
gptkb:Natural_Number_Game
gptkb:mathlib4
Lean 3 documentation
Lean 4 documentation
Lean community Discord server
Lean community Reddit
Lean community Twitter
Lean community YouTube channel
Lean community blog
Lean community conferences
Lean community events
Lean community mailing list
Lean community newsletter
Lean community reading groups
Lean community seminars
Lean community study groups
Lean community tutorials
Lean community website
Lean community workshops
|
|
gptkbp:organizes
|
gptkb:Lean_Together_conference
gptkb:Lean_for_the_Curious_Mathematician_workshop
|
|
gptkbp:platform
|
gptkb:Discord
gptkb:GitHub
gptkb:Reddit
gptkb:Twitter
gptkb:YouTube
gptkb:Zulip
|
|
gptkbp:relatedTo
|
gptkb:mathematics
gptkb:Lean_3
gptkb:Lean_4
gptkb:mathlib
computer science
formal proof
|
|
gptkbp:bfsParent
|
gptkb:community_library_(mathlib)
gptkb:mathlib
|
|
gptkbp:bfsLayer
|
6
|