Skip to content

Lean: fix doc_typdef for abbrev of ranges and bools #2149

Lean: fix doc_typdef for abbrev of ranges and bools

Lean: fix doc_typdef for abbrev of ranges and bools #2149

build (5.0.0, ubuntu-latest, 0.26.0)

succeeded Feb 14, 2025 in 37s