Skip to content
GitHub macOS CI

Merge PR #18091: Ltac2: expose constructor -> inductive and construct… #2394

Sign in to view logs

Merge PR #18091: Ltac2: expose constructor -> inductive and construct…

Merge PR #18091: Ltac2: expose constructor -> inductive and construct… #2394

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