Skip to Content.

Sympa Menu

coq-club - [Coq-Club] The most general unifier

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] The most general unifier

chronological Thread

From: henaien amira <henaien_amira AT hotmail.com>
To: coq club <coq-club AT inria.fr>
Subject: [Coq-Club] The most general unifier
Date: Sun, 25 Mar 2012 13:41:01 +0100
Importance: Normal

Hi everyone,

is there a tactic in Coq that calculate the most general unifier of two terms?

Cordially,

Amira

[Coq-Club] The most general unifier, henaien amira

Archive powered by MhonArc 2.6.16.