Plain-text declaration export for Lean 4 - View it on GitHub