Skip to content
Windows CI

Merge PR #17777: Expose [Evarconv.unify] as an Ltac2 primitive. #2086

Sign in to view logs

Merge PR #17777: Expose [Evarconv.unify] as an Ltac2 primitive.

Merge PR #17777: Expose [Evarconv.unify] as an Ltac2 primitive. #2086

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