LeanTeX v2.5
The recommended version. It centers native minted Lean blocks and separate output calls.
LeanTeX v2.0
Earlier minted-based version with the older LeanTeX block-first workflow.
LeanTeX v1.0
Original listings-based implementation.