coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Does Omega Support N?

From: Gregory Malecha <gmalecha AT eecs.harvard.edu>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] Does Omega Support N?
Date: Sun, 27 Mar 2011 03:43:48 +0000

Does the omega tactic support reasoning about N and if so, what do I need to do to get this behavior? I noticed that the documentation mentions nat and Z, but not N.

Thanks

--
gregory malecha

[Coq-Club] Does Omega Support N?, Gregory Malecha
- Re: [Coq-Club] Does Omega Support N?, Alexandre Pilkiewicz