Skip to content

Ltac2: named type variables can't be defined #2390

Ltac2: named type variables can't be defined

Ltac2: named type variables can't be defined #2390

The logs for this run have expired and are no longer available.