Result for 182CDEDB9D2E013D552009AF0398CA2A641C4AEA

Query result

Key Value
FileSize11269676
MD518D4304243644B521C39B9A50E7BC6F9
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.13.0-1+b1
SHA-1182CDEDB9D2E013D552009AF0398CA2A641C4AEA
SHA-25627C6AD4C181CBF07B4B6BE5FFAA4177876F6D798BCB4F897E1EA4253A565F0EE
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/fta/CPoly_Rev.vo
FileSize73267
MD541A9B10149DAF31E616018F77EB4E6F4
SHA-1004DC7A92403027ADB77700573923445E7E292D2
SHA-2560D69B262C696C2B4A472DB2A532904B1B0727702F293CFEBDB12322CE4882A46
SSDEEP1536:Jw/2ZNX2H4ygfigurj8xn/vhJ6Qw/v+WxgbikqbwH5fvItBzX:Jmknn9urwGQw/GWoikqDzX
TLSHT1FB63F885F118DE71E9BADD74DA28A0C034020C8FA37D17961D78412CEACE3DB2D7A697
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/CoRN/reals/CReals1.vo
FileSize60856
MD5D1F1B81945EF9DC3F8DE273C8EBD3084
SHA-1007BED14FDD5C218872D55EDE8805423B06BF41F
SHA-256C13A197EA413BFA326B2AB2579775166091EC29EF8364A6D7FC131A9409E1EE7
SSDEEP1536:lO/YbYN13QBTMyFwVGUyOiFDz4UDOVTT2nGCo:lUYeg7F57RzgTMG
TLSHT119531981E2199BA1D4FBC8306B3CA49085010DDFA3BE47561DB8425CCB9F6EF2DB6247
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/CoRN/reals/fast/ModulusDerivative.vo
FileSize71917
MD5E2DC55C6C610795BE5BA10FC56B7A6A5
SHA-100A7BC1B00F20605DDE3ED7F4D31742C6F0D6D99
SHA-256DAA3E8ABF6D1069267CFDB581913E2F356A7DC0009396D586C76AC164C0D14FA
SSDEEP1536:XP/ikp0v13j48x2JhZUh9vcJ8cKlooSuYifA1jGgUi9B:XnydOhKh9v+iYEiT
TLSHT16E631BC1E229DBE308F6CD709F38A851444118DF93B9074A1AF4412CAB5E5EF3EB665B
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/CoRN/reals/Intervals.v
FileSize33148
MD527F989FCA04196B4AB389552C0B9C6C2
SHA-100F44C10DDC9425CB79DEBD0ADB62870476D5C09
SHA-2563F1E06868A515D03F8D50F6C5BDBF42C8065EB585E4BE2D236DD441EA2BD0865
SHA-512F428E0513E90540DAAAEC76DA5C1B8DA42D180BD7C296731022EBFC5A414E9361B598081C684863C087BE1CD1CCD98F5C1A0BE8D1903C0E38201F2B8855C0263
SSDEEP384:2cCQolSvWNHO2Y7CmFSqHA3Dgqf8lXi3O2WBAA/Lf3/BIqyrjzwR1u6Bem2bbPxT:2cCQolSuAT3S8lXyUerjzF5dVf64pLT
TLSHT10AE27409084B125264A7BDFEFF9BA581A2258F33A7F79544700C00FD0F0D9B9E57A39A
insert-timestamp1664889688.7795596
mimetypetext/x-tex
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30
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/reals/CSumsReals.v
FileSize5873
MD57485495396D2A843B939E7A8C7DF77E6
SHA-10117D616F5D0E5AA97F4D91DC96FC6A858407930
SHA-256E676BBD268C5289F6C0E0932248B938863F3C967249149B1F7A7F671709149F7
SHA-512F69A8913A227FC17FDC6453BEA290882875C85BE99B64B72B103A2F049CA04EE121ACFA0E6765C8D7F81A0D0FAB12694B2B8F21A6054157D93E891507987CFCF
SSDEEP96:BXIxnKpCBUV8jFbSCDcf4llEM9vOVBg+hGWxuuqLxGRvbz0iicIGBeQiUZ/vCQWt:BYcC4aW+KBtd1Ngx2O
TLSHT1F4C151492487123D68DF6373BE5B1152692EAF54F7F3DA88E92C42E90E1E1B40132DDE
insert-timestamp1664889688.7278812
mimetypetext/x-tex
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30
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