GitHub repository: leanprover/lean4export
Primary language: Lean
Description: Plain-text declaration export for Lean 4