Skip to content
GitHub macOS CI

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

Sign in to view logs

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.