GitHub repository: lilit-org/lean4-toolkit
Primary language: Lean
Description: 🔮 zero 2 hero studies on Lean 4 → a powerful theorem prover and programming language for the AI age