coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 64-bit integers

From: Eddy Westbrook <westbrook AT galois.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] 64-bit integers
Date: Fri, 12 Jan 2018 14:32:42 -0800
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=westbrook AT galois.com; spf=Pass smtp.mailfrom=westbrook AT galois.com; spf=None smtp.helo=postmaster AT mail-pf0-f173.google.com
Ironport-phdr: 9a23:z6k9yRC+hAPJ11r9+JndUyQJP3N1i/DPJgcQr6AfoPdwSPv4psbcNUDSrc9gkEXOFd2Cra4c0qyO6+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglUmTaxe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfOpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnMVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykCoJNyI2/m7KhMJzgqxVvh2uqRtkzo7IeYGVMeZyfqPBcd4YQ2dKQ8ZfVzZGAoO5d4YBAPcOMvtYroLgp1QBswC+BRW3C+P1zT9IgXz21rA93uUvDw7GxxAgEMkUsHTTq9X1N7wfUe+vw6nMyjXDbuhW1S3h54jPdxAsuPeBVq9zf8rJ0UQjCR/Jg1GKpYHmPz6ZzPkBvmyF4+Z6SO6iiWAqpxlsrjSx3MsglIfEi4EPxlzZ9ih0w5w5KcO+RUVme9CrCoFQuDufN4ZuQsMtXWVouCEix70Do5G7fSwKxI0/xx7Rd/CLaoaI7g/hWeufOzt4i3VleLWwhxa270es0PHzVs6x0FpSrypFlMfDtmwV2hDN9sSKTuFx80Sh1DqVygze7v9ILVopmafZJZMt2rswmYASsUTHEC/2gkL2jKqOe0Qq5Oeo8Pjnba78pp+bMI90iRrzMqs0lcy7BuQ4MxMOU3KH9uS70b3v5Vf5T6lSjv0qjqnZt4jXKtgcpq6gGgNazoIj6wukADq9y9QZnXwHLEpfdx6djojpPUvOIPHiAvuljVSsimQj+/eTNbr4R57JM3LrkbH7fL875VQP5hA0yIVy655FQo4MO+75QEj2t5SMERIiLwauxOHkINp00oQfQiSEBarPY/CaikOB+u96e7rEX4QSojuoc6F0tc6rtmcwnBomRYfs2JIWbH6iGfE/eReWaH7rg8xHGmAP7FNnEL7azWaaWDsWXE6cGrom72hhWo2vCYDCXcamh7nThH7mTK0TXXhPDxW3KVmtd4iAXK1SOiebI8skijJcELb4FNRn2hapuwv3jbFgK7iM9w==

All,

Is there already a type of 64-bit integers in the Coq standard library? Or at
least 32-bit integers? I see some evidence of these in the documentation of
some of the numeric modules, but I don’t really understand them…

Thanks,
-Eddy

[Coq-Club] 64-bit integers, Eddy Westbrook, 01/12/2018
- Re: [Coq-Club] 64-bit integers, Xavier Leroy, 01/13/2018
  - Re: [Coq-Club] 64-bit integers, Eddy Westbrook, 01/20/2018
  - Re: [Coq-Club] 64-bit integers, Vadim Zaliva, 01/25/2018