Skip to content

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

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

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