Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] how to proof in Z modulo?

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] how to proof in Z modulo?


Chronological Thread 
  • From: Laurent Thery <Laurent.Thery AT inria.fr>
  • To: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] how to proof in Z modulo?
  • Date: Tue, 9 Aug 2016 11:48:37 +0200



On 08/09/2016 11:37 AM, Vincent Laporte wrote:
ere is a method (Frédéric Besson taught it to me). Dealing with
division and modulo directly is indeed painful.

I think it is the same trick John Harrison was using



Archive powered by MHonArc 2.6.18.

Top of Page