Skip to content

fix (non) export of integer literals to coq and dk - #1327

Merged
fblanqui merged 2 commits into
Deducteam:masterfrom
fblanqui:export
Nov 26, 2025
Merged

fblanqui merged 2 commits into
Deducteam:masterfrom
fblanqui:export