Result for 3C356CC1B012662DD49DCB63D79AA0E61786F758

Search result
Graph view
Children (799)

Query result

Key Value
MD5BAFECC85E49F2E8795F1D734887D960F
PackageArchnoarch
PackageDescriptionCoq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides documentation and tutorials for the system. The main documentation comes in two parts: the main Library documentation, which describes all Coq.* modules, and the Reference Manual, which gives a more complete description of the whole system. Included are also HTML versions of both. Furthermore, there are two tutorials, the main one, and one specifically on recursive types. The example code for the latter is also included.
PackageMaintainerFedora Project
PackageNamecoq-doc
PackageRelease1.fc18
PackageVersion8.4
SHA-13C356CC1B012662DD49DCB63D79AA0E61786F758
SHA-25621A0B6820948ADAA91E1B7ABEF812CD8B12295A8270444F2E757E0B374510659
hashlookup:children-total799
hashlookup:trust50

Network graph view

Children (Total: 799)

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

Key Value
FileName./usr/share/doc/coq-8.4/html/stdlib/index_global_R.html
FileSize165148
MD58DF215E51ABA4B743ED5064BFE0BCE87
SHA-1004C55DBDA951BAE67008AE7ADE8500BB15FFBD4
SHA-256B15EF1EB6C1EB84E49FDF65C46ACEF7BFD2C08E2711697D000E782314B2CEB78
SSDEEP1536:jsmZNBL2Nc8YiPV8YiPV8YiPV/bYW+/bYW+PrpmOW6z9L0gFXN0gFXNjX86qjX8i:qNOWqrtEjNjiJ
TLSHT163F3116011C2066D83AA170B49D9BFBC72A313E399941D85EE5B7D2FED77B0726224C3
Key Value
FileName./usr/share/doc/coq-8.4/html/stdlib/Coq.Program.Utils.html
FileSize6451
MD5FE2E4431575A54DBDBADA069D643BCA9
SHA-10055C6F702FA971F9FBE7F5608DC83573397F714
SHA-2563CD7CBEC7D1D8FECD3FE6DA3378ADC5FB32E43146BE43D1DA9A2A9636AD7BD14
SSDEEP96:9bJjpEMxSktUIq+o5BsFFF0lPjXzCyI0cgn1IL8+1cFmGvN5NYAmfawft5fJ5fah:HjpEMAkJq+o5BsGccYo9PNYwwJfRewEJ
TLSHT108D106E091A2983B457389E712B99F26B0F1C909D2490D40F6ED43F7E3DDDC13546AAB
Key Value
FileName./usr/share/doc/coq-8.4/html/stdlib/index_constructor_T.html
FileSize19757
MD5269B5901299B16B37D10E93C56F8F77B
SHA-10077D90BE130197F19542CA309EF6C35211CE2C6
SHA-2565E8CE07FB3C01F1423881C6F686878FB0E93CD11E6EAA57B0F1D3AF6157AD962
SSDEEP192:HjpWEMfyjPJPGJV72QsbJL4VmhqE16v3QxJ85VkWTUyNr2UTQEu2JuHRp+:HV5soV3ORTQE9JoRp+
TLSHT19592F65214C2646E42597A2E4AB47CA922F70BF54B243C04EF9FFD7FCBA2791120D283
Key Value
FileName./usr/share/doc/coq-8.4/html/stdlib/index_instance_Q.html
FileSize39441
MD535B8BA59B419D41298A51C55DA0D2B69
SHA-101371F59DE0A2D13F997EA3D516750D6ED4489EA
SHA-256E2BC724116B71CF1C5DD8247579243D8A2676432B5482380182424B436B08380
SSDEEP192:HjpWEMfyjPJPGJV72QsbJL4VmhqE16v3QxJ85VkWTUyNr35qEMfyjPJPGJV72QsU:HV5soV3OLsoV3O3
TLSHT19E03264214C6646E42597A2E5AB47CA966F31BF54B203C40EF9FFD7FCBA2790120D283
Key Value
FileName./usr/share/doc/coq-8.4/html/stdlib/Coq.ZArith.Zmax.html
FileSize13471
MD52D7DDB977D202EB3A142E8ECD778F641
SHA-102472094DDCA4BF67C47B5C4FB039FD628A4E982
SHA-256840A08BB1F0057D5987823CA68AFDD0D7B4FCBCAA0D13B1E94C2053C41A6204C
SSDEEP96:9bJjpEteth5B55Ib1SQeSRnQmQzmoDmQzmQDmgZmqS4m1CFmqJmG/TmEoMmEN9mK:HjpEteEbkQbB9OTHXA5gNNNWe
TLSHT191521AE051925C3F85734AD603B95B38B0E09949E5054C90FAEE5BFFA7CDF8032529AB
Key Value
FileName./usr/share/doc/coq-8.4/html/stdlib/index_lemma_R.html
FileSize106762
MD5AC2FE4391621FC1583D1A575464A2843
SHA-102608A6CE18022B96FA9770900C4AF404006999C
SHA-2560C5D9F8D408BDEF8F489C38ABB4B5BA2D61DAF6903C89CAA7C3FD5BFB037FB0D
SSDEEP1536:js3N4/bmW+/bmW+W6j9L0gRXN0gRXNjXa6qjXa6AWqvtNTNTfM4VLivfisX:YN4WqvtNTNT0B
TLSHT1FBA39C2211C316AD03982B1B49E57F7871B323F29A901C45EE5F7D3FD9B6B5226268C3
Key Value
FileName./usr/share/doc/coq-8.4/html/stdlib/Coq.Reals.PartSum.html
FileSize68464
MD52A3C84422CE467003EDF0B493CE655F1
SHA-1027D37A25C911853F6EFE6FCB443030B6CC9B3FD
SHA-256E225C7F2D3C6AEC2C6F9E900672D0ACA1AB39A94B51F30405DDC410426C8EF5D
SSDEEP384:HVEbi5b6Q9p8R7QABRpbRaddwLRtvbT4iRtK4LwM25kNv92EbNx2sB/dedG389zC:HGhTl
TLSHT1E36334E042E2993F46738ADA06FD6F24B4E08945E5094D10F3EE46FB978DF403592AB7
Key Value
FileName./usr/share/doc/coq-8.4/html/refman/Reference-Manual026.html
FileSize18386
MD5FCD2EE346FF306B1B69596BD6A0DA143
SHA-102AE724ADF2D489E8C90EF9DB384A2149F734386
SHA-2567F848DEF84B6B3861DD4C7C7E71D776A89ACAF3E9D326F69B9830515250FF6F9
SSDEEP192:z6CToy6Spk5YOamZG6kmDbO34Km94nv5Xe2zghjTCv:zV8Spk5zamZeEKmqvY2EMv
TLSHT19782FBADD33A633B402BD4CCDE0F41474BE7017CA3766ED968B5D9F919814A101AF8A7
Key Value
FileName./usr/share/doc/coq-8.4/html/stdlib/Coq.QArith.QOrderedType.html
FileSize8749
MD5992F73CA98CF8F31837CBC08C6B58574
SHA-102D0B5604DB83AE8ABC56EF91591621BFE2BFF78
SHA-256A29B6108EE7CAF5A2F9B29CC849648E7DACB7927ABD22AA1E7F931C5AD927991
SSDEEP192:HjpEwfsq2BeU5yXWljsBr+H286mCXhGOyBCdYQDRV5j:HVENjnp6mDOiQDRV5j
TLSHT1EC023BD092A2983B457386E656F96F34B0F0CA4AD6490C40F7ED57FAA2CDEC031426A7
Key Value
FileName./usr/share/doc/coq-8.4/html/stdlib/Coq.FSets.FSetProperties.html
FileSize274264
MD55103F48396649E258329298B63AE608C
SHA-102E7658E05EABE437AB8EB35DDB6BCF72D5082B4
SHA-25682EFDAE147478AD56340F23780747845EBEE09D51B5C18C875ACBFDE7A842A75
SSDEEP1536:04rDspcsVepgBpMZstoCVL/O1D/0/uL/1+jEMOH7ByJXJ70WgoEyzmxzwICzJIXf:0kUjltrO
TLSHT1484436D691915C3B42B78AE71ABA6F25FCD098A9D1308D30F3EE83F6628CF4035455A7





metalookup is a service from miwakeru.com