Useful links:

• Formalization frontier and trust boundary
• Zulip chat for Lean for coordination
• Blueprint
• Blueprint as pdf
• Dependency graph
• Doc pages for this repository