Result for 221FC928DE87A83B665332F687F84ED3B68B9EFD

Search result
Graph view
Children (1003)

Query result

Key Value
FileSize11316836
MD58DA81E38687B760EE1970FCEFA4F3FCA
PackageDescriptionCoq Constructive Repository at Nijmegen This library provides different theories for Coq: - an algebraic hierarchy with an axiomatic formalization of the most common algebraic structures, like setoids, monoids, groups, rings, fields, ordered fields, rings of polynomials and real and complex numbers; - a construction of the real numbers satisfying the above axiomatic description; - a proof of the fundamental theorem of algebra; - a collection of elementary results on real analysis including continuity, differentiability, integration, Taylor's theorems and the fundamental theorem of calculus; - tools for exact real computations like real numbers, functions, integrals, graph of functions and differential equations. . Coq is a proof assistant for higher-order logic.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-corn
PackageSectionocaml
PackageVersion8.16.0-1+b3
SHA-1221FC928DE87A83B665332F687F84ED3B68B9EFD
SHA-256FFE22430B62A6B3488C4C6D89B5D34236562F703A25BAEB8415A8E5B05EC5715
hashlookup:children-total1003
hashlookup:trust50

Network graph view

Children (Total: 1003)

The searched file hash includes 1003 children files known and seen by metalookup. A sample is included below:

Key Value
FileNamesnap-hashlookup-import/coq-platform/lib/coq/user-contrib/CoRN/order/Lattice.v
FileSize4877
MD5C8A2B249135844CBA646CF3A526C2EA7
SHA-1001C5217EC6250B125AA6E6CC9C3269C3BE8B0C0
SHA-256879524E8A7E125045A0872D0EE597EF43E095B23EED6443988B5D338C1D86C25
SHA-512FA9D41275ADE71A1767D7CD2080778BDA15AB6689A5193D18EDE58E8DC67FCAB6DA06E2EDE6A4F0094D5C83EC1F836BC04AED73B4F9D86AD3319071FB5B348E6
SSDEEP96:euA+gHACGJw9K591GWwc6vrRUN3KNWSN64uDuA5t:VgHPGJw9K591GLhylKdI4uDuAz
TLSHT1A8A12119B5B0076E2BFBF7FAA579A0B8310BE9049562491D744CD3A8070F0F47FB8828
insert-timestamp1727037286.3748496
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/CoRN/model/structures/Qinf.glob
FileSize7138
MD59B78260A39A66C934F8C531356F73C32
SHA-1004658478DA567CC9F413D349F23CDCAED8A0338
SHA-256CF42942FE102C79622B6C2392880381D147369C63558BEF781FA5316A38F0BD0
SSDEEP96:bhbjseCW4O4FVEDQAVMxoycQpqO0wT+81tJqmsPi5nsEjfUh:FbjsdnEDlVLDQpOwTr3JqmsK5nsqUh
TLSHT182E17B1E213BCDE2A59F9BA073D01F7DAD5B0AD9E74A4002E4FD446968A864CC77E7C0
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/CoRN/ftc/Continuity.vo
FileSize122615
MD506ED8DD7F9368B1F495E6F3ACA888054
SHA-10047140B289942AEA2A98CC94465241CABE21414
SHA-2560D959687CBE98A87EA8F5027CF5973AE51DCA7493E4BA3B955FE73FBD60C8AC8
SSDEEP3072:IWDAsSaw/7UlBDP/sCbNt+JFkLNaL9G25t92J1uY:IsSaua1sCZ0/ksLE2581P
TLSHT173C33BB09125DEA0D5EACC705718E490F6040BDFA3BD02174E6E4358D6CB3AB5DB7A8B
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/CoRN/ftc/IntegrationRules.glob
FileSize41288
MD56C916E9D3052807A95BDE45CC3657113
SHA-10083AFB39C80E391C148C0FB705886898EEB7812
SHA-2565D0899A9FFE0CFF5F9C03764F1C0B2A016C795D9C3324A8ACBE0E44554CC088A
SSDEEP384:9fjIvTatbIbIQ5N9wqgWg08xrEOCbNmVdl2oA65VBi4:xIvWnQfgWg1r2Qlr
TLSHT1B703C039AE5E817524069D18B3A553B3A91722FF3A4216C3DEC2FC9970F424B699F3C4
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/CoRN/util/Qgcd.glob
FileSize11713
MD593F00C5967DDD090CCE3746A6E79A4F6
SHA-100C3E224D8779A43B146CD6BC6D1E9AB40F4752C
SHA-2565367FA0BEB88E4AA836730EDCE763CC075ED10DB0737EB407BCF19DB2BDA8719
SSDEEP96:OqGAPOVAk2ZrcLL1w2mj4PIBPIeZC4Fcjzzpz7C2WjucyKj7nj7RJnAf2CjVM2m2:iTKNcjzzpncyqALdgtxxs1YYZhh3
TLSHT10132AA799712DDE5228E6F74B3220B679E3F1148AD1106F3EBCE079C1D9858457EB2E0
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/CoRN/model/semigroups/Qpossemigroup.glob
FileSize481
MD544237A69B089A3BCA86AE5311202C9BA
SHA-100F64EE0602848CCA2685898A55BC7A830A27400
SHA-256A13A5032AD200702CE2819FCF98B4F53833905504BC0A33B68756D697177254A
SSDEEP12:S8nrTe4m1gDWjcPA9Kjdg1AQrKI1AIHq1O:SErtig3Yzjr5xOO
TLSHT1C8F0271842778F653095647D73C11F77AD7212AD76E5C13284B0C62B9F4C4537D203E4
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/CoRN/model/groups/Qgroup.glob
FileSize1026
MD5AE0C212C026998EDF2E4C407836A8A2F
SHA-1010F6BA22335C8EC4CEE9054A2BD13BE41929311
SHA-2567FB6B7B50BBA257A3A0D41529C8398920EBEFA4351D46D6E511F4F53F54FEECE
SSDEEP12:CVSsu9bIIrGGfjcW+j0TIrGqFPnGP9IfP9Id9Iz9Iz9IZ9IH9IxWKsjX+IrGqFPz:CVSH95rjfgdBrR/W8yyYW8DrtPRZ
TLSHT16511A2618269FAF4104A1AB7F3E40B93DCB715D9FE640C63A7A8853D38280567A31AC0
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/CoRN/logic/PropDecid.glob
FileSize1649
MD5016FF311BB74871E5C5A54BECEFA458B
SHA-1011F37417DC7CA409CDDD3A2B247D824C6C61372
SHA-256A8A8C66CE517A5BF907D329188BDCA1F615C630C963F9DE03D4D98DA1A987BEF
SSDEEP24:iiDIxRZemefQOOGajcFZnpD19OLVy0Dame+uNetTMBU:isdnfZOGagFZnpD19OLVfJe+uYtTMBU
TLSHT1CD31812D9A890D327BD81C3047082F1C36BF47952B0A3735E59F2BB55EE623E440E761
Key Value
FileNamesnap-hashlookup-import/coq-platform/lib/coq/user-contrib/CoRN/metric2/Compact.v
FileSize64237
MD5D6DB513CC6AA0E4C3123BC608AD1D420
SHA-101283AEC0F8AA7C2A40C6B9A732B149BBF064FEA
SHA-256B67EA4CFA32B0D6CEFE3AA462E821FA9DA6F721CB9628D10C9E2D0A15BEC4348
SHA-5120A77D06C43DD92858FB6243B926F2696FD65FC47E2ADDF8DB6FFEC13564A89D6DE7B54A766AD84602C0586F2D1CCC98E380E1296607FF5E463D8E9927070978C
SSDEEP1536:Z3nUxXYOszioX+JpOtBtJce0so4iJNVWq:lUxXYOszioX+HgOepiJNVWq
TLSHT13353640ABEDB1336624A99FDEF4748458A548E35DBF28329719C44AD4B0C5ACCB24EE4
insert-timestamp1706626867.1228006
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33
Key Value
FileNamesnap-hashlookup-import/coq-platform/lib/coq/user-contrib/CoRN/reals/fast/Interval.v
FileSize23877
MD51486A33AA82D5D33363442866D198333
SHA-1013FE9FBB20A984B8F60FEF03C585F9733C30623
SHA-256B28DCA5C486A41442D029BF79EEE3EE5158CC6ED0B231D5711457570ECFF2501
SHA-51243F83891F1922036AFA0F9BE1CB2ED82CB87A365334033126B5D8C81BBC57AE8712DC0AA0C07CB81FCE6E5878C5029329C8479DCC5D260CB34268DBD6FECD4BD
SSDEEP384:QshQmvumRucLnGq5ZerA0Jkg6wckFlg2wF5uyp1PdbHJh4flvLxiryxCAvb41nWu:QshQmvumRuchek0Jkg6wckFlg2wruyp5
TLSHT1A5B2B90F666A4662278BFCBDFFA3A540DD22C912D7F25300744C44BD4B0A27CD2A9F66
insert-timestamp1727037284.4131835
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34





metalookup is a service from miwakeru.com