27Community
4 entries
- Lean ZulipMain community chat; see the
#Project announcements,#Program verificationand#lean4channels. - Lean Community websiteCommunity resources, installation guides and documentation overview.
- Lean FROThe Focused Research Organization developing Lean, including roadmaps.
- Awesome Logic FormalizationRelated list about formalized logic.FormalizedFormalLogic/awesome-logic-formalization