coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Getting lra to work with canonical rationals

From: Raphaël Cauderlier <cauderlier AT crans.org>
To: coq-club AT inria.fr,Théo Zimmermann <theo AT irif.fr>,Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Getting lra to work with canonical rationals
Date: Fri, 09 Oct 2020 19:05:41 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=cauderlier AT crans.org; spf=Pass smtp.mailfrom=cauderlier AT crans.org; spf=None smtp.helo=postmaster AT redisdead.crans.org
Ironport-phdr: 9a23:6naXqBzbK1chUI7XCy+O+j09IxM/srCxBDY+r6Qd2u0RIJqq85mqBkHD//Il1AaPAdyEra8dwLuG+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxhKiTanYb5+MRq6oAHSu8ILnYZsN6E9xwfTrHBVYepW32RoJVySnxb4+Mi9+YNo/jpTtfw86cNOSL32cKskQ7NWCjQmKH0169bwtRbfVwuP52ATXXsQnxFVHgXK9hD6XpP2sivnqupw3TSRMMPqQbwoXzmp8rxmQwH0higZKzE58XnXis1ug6JdvBKhvAF0z4rNbI2IKPZyYqbRcNUHTmRDQ8lRTTRMDI2yYIQNAeoOMvpXoYbgqVUQrRWwBhKhBP/2yj9NmnP6wbc33uYnHArb3AIgBdUOsHHModvpLqgSSeC1w7PUyjXHd/xbxy3y6JXVfR8/u/GMWbNwftTLyUIyEA7Kkk+fqZH4MDyLzOQNt2mb4PR6Ve+0l2EnsRt+oj60xss2jYnJnI0Vx0nC+C5kz4k7Oce2R1RnYd64DpRQrSeaOpN0T88/TW9kpjo2xqAHtJOmYCUHzJAqyh7BZvGac4WF/A/vWPiNLDtkhH9pZbKyihmy/0W81+HwSte43EhWoydZlNTHq3MD1wTL58SaSfZw/l2t1SiB2gzP8O1JI0Q5mbDVJpMl2rI8iIAcvVjeEiLzhkr6kLWZe0A59uWq6unqZ6npq52AO4JxlA7yLrgil8+6DOskNgUBRW2W9vm/2bH+4UH0Ra5FguEonaTatp3RON4VqbSjAwBP14Yu8xa/ACmi0NQfhXQHNkxKdw+Gj4jyJl7BPur3Auqlj1uwijdk3fbGPqb7DpXKNHjDn6/tfbd760FC1Ao+1c1T6pFUB70bPv7+VFP9uMbaAxI9KQC5zeLqBM141owEWGKPBqGZMLnVsV+N/u8gP/ODZJIItznjMfgl4//ugmEjmVIGYaapx4EYaHajHvh8JEWZe3Xsjs8bEWgWpgo+UPDqiFqaXDFPYHayRrsw6S0/CIK7FojOXZutgbyE3CejBJJafGFGClaWEXfpbYqIQfkMaDjBavNmxzcDTP2qT5Ir/RCorg7zjbR9atbUeyovh5Pm0dVv4uTVk1lm6Tx5COycyWCDCW9uyCcjQCZ+96RiqwQpwVCalKN8nvZwFNpJ5voPXB1sZrDGyOkvMdnqWgtCeuCiQUuqT8+iADwrBoY6ysICblx5Gti4phvZ1iyxRbgPmOrYV9QP7qvA0i2pdI5GwHHc2fxk1gF+G5cdBSidnqd6sjPrKcvRiUzAzvShb60ax2jK7mjRlTPT7nEdaxZ5VOD+ZV5aZkbSqo6gtFnPQ761BbkuPk1K08eEMe1NcNK71QwXFsemA8zXZieKo0n1AB+Jwr2Wa4+zIjcWxizbEw4DiQ9BpHs=

Hi Théo, I haven't used it recently. Maybe you could add a note about CoqEAL
in your Readme?
--
Raphaël Cauderlier

[Coq-Club] Getting lra to work with canonical rationals, Elias Castegren, 10/08/2020
- Re: [Coq-Club] Getting lra to work with canonical rationals, Frédéric Besson, 10/08/2020
  - Re: [Coq-Club] Getting lra to work with canonical rationals, Tej Chajed, 10/08/2020
    - Re: [Coq-Club] Getting lra to work with canonical rationals, Raphaël Cauderlier, 10/09/2020
      - Re: [Coq-Club] Getting lra to work with canonical rationals, Théo Zimmermann, 10/09/2020
        
        Re: [Coq-Club] Getting lra to work with canonical rationals, Raphaël Cauderlier, 10/09/2020