Mathlib4 Open-Source Contributions

Tags:

• Lean4
• Mathlib4
• Formal Verification
• Proof Assistants
• Functional Programming