Skip to content

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

Ltac2: named type variables can't be defined

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

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