Result for C8B2717694F4F7CD7D0B1E995BDA934F11D4BE94

Search result
Graph view
Children (4942)

Query result

Key Value
FileSize35217772
MD5F85B1D8CC818B3D56E732035813FFE8C
PackageDescriptionproof assistant for higher-order logic (theories) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq-theories
PackageSectionmath
PackageVersion8.12.0-3+b2
SHA-1C8B2717694F4F7CD7D0B1E995BDA934F11D4BE94
SHA-256178D302AE2B2D4B51392EEAF63FAEAB0FFB689D58E49A3FE0A13B034F43DAFCB
hashlookup:children-total4942
hashlookup:trust50

Network graph view

Children (Total: 4942)

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

Key Value
FileName./usr/share/doc/coq-theories/html/index_projection_M.html
FileSize23381
MD52BD5F21F51E0A9131EF16424E5FEC4A8
SHA-1000C7D0FC0991D9F9064FAAC7BDE3C5C27E2E988
SHA-256D581EB6E93583ADDA8F0C806922536CD122BB9A654A357AFCA81D96DF892AB52
SSDEEP192:KpWEMfVjiXdTgJPtJV7XQsoJLIVuhrEA608C3Qx1VHWLy4j/0q:0X0tvEgo
TLSHT19BA2314215C2646E42597A2F4AB47DA962F30BF54B603C04EF9FFD7FCAA2795021D283
Key Value
FileName./usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlNativeString.cmi
FileSize2405
MD580429B35958E467CE6956D945982F984
SHA-100204244F31E96FC9092587BB09508DC7CBD7F7E
SHA-256923F14F57FD425AD2BE6C71945731ED9BC5E577BCFAC5EE8D924E559B072EF85
SSDEEP48:74Gn/M6UvVzH/egUK4cWpcD1MQu/NL7Jy9LtqZlL:nn06Uvx2+vWpdQu/NLtTZt
TLSHT1B141D8543292B6D13633A3A78FDE405B02305A47C6A704BC47CC5BC80B7557A42DE59E
Key Value
FileName./usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NSub.o
FileSize1916
MD5C084D45EB212463BBD870E7B0D47E43E
SHA-1002E5615A7BC43135498D50D3372448482E18889
SHA-2567E11CEE1092523140774D802882DCD750EADB42D2CA9FE9E6608561BE76CA7D3
SSDEEP24:Phdkx8TiojUdFvYCKKrJtxEk1KeUaKcBcEmSp53effKEgKS579DWuCcW:PLcvzvTxoeicCEz3ea4oquCcW
TLSHT1C0418C0617E7CAEEC55210B8A84E931B1758F601AAF4C71B974722199F1B0C9FBA4647
Key Value
FileName./usr/lib/coq/theories/FSets/FMapFacts.glob
FileSize319787
MD51927E2601305575C967E80921CA42E1A
SHA-100302BAB730D1B98EB38151D028CD996D5031B16
SHA-256559D3DC597C26B11F14C7F01E3CC979AF13811C53ABCA74E97055FCC31B29555
SSDEEP3072:ysodLARSmgOFBg9RP/XcTJvfzLe4QcBIFIsnQU5SaMzZ22L+fVRjPVgn2TyJaTbm:WA6mJay7
TLSHT18B6456FE71476E7B1E9FCE73874123A6C95901F72A6B0032B6EE8BF9396418D01189D4
tar:gnamebin
tar:unameroot
Key Value
FileName./usr/lib/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructiveReals.cmx
FileSize14287
MD58221776D1FF15FA42814314D569388A6
SHA-10032A294C2AA7D38344C7F0AD099E8F4713664E4
SHA-256CC58D1738F4862E7FF9A3C408FD7E90F25E05626BA813C18537BE9DA85736272
SSDEEP384:EYuGjH/ri0lfoIppLl/0SBi354rbPk+M86GXtTtlFacMwvpJ1l4dPfe6eF6tQduV:brdoIppLl/0SBi354PPk+M86GXtTtlFM
TLSHT12652D5B2B7B6F1C55BC3D8EA266CF0AF4800F4CD664C4993E71E8628DD45241E27A537
Key Value
FileName./usr/lib/coq/theories/Reals/Cos_rel.vo
FileSize79156
MD552271820827F4BAE1D6062B2C933773A
SHA-100364565E177A3D308ED5DB613630FCF028B6862
SHA-256136EDE572CEF10412BD3BBB6C90DFD07BE746BFD795000A994E380D3795F5C99
SSDEEP1536:k4/eDDdpuapEJIi+0fnGLf5QCZ7YeLDYzuUDP0GqT:k5DZpu6E/pnGLf5Qi7s9D8GG
TLSHT180733C43A0106BB1C4BDCD70DAB450D6A1434E8F93BA075A5A3881ADDB9F3CB2DBD653
Key Value
FileName./usr/lib/coq/theories/Program/.coq-native/NCoq_Program_Utils.cmxs
FileSize15880
MD58F3084BBDD625EA88F706371A8352659
SHA-100371D83821706BE3F6B17D8DA2B58F2D108B8B0
SHA-2565A4DEF7C170360C2EB402541D589A1F71C205E2B3FBE8509D853E409DC4D642B
SSDEEP96:2INM5+ZBWBeWEIGDO9qt6n06Uvx2+vWpdQuflNLtTZitD3+5ZEFULf:2lQZ8stXTvZufHpdCD
TLSHT1DE62F92BB3C1EAF5F532A3B7844F051302F0FC12B4F24A3A46542A0D6D53A6567B9A4B
Key Value
FileName./usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FMapWeakList.cmxs
FileSize15896
MD521B81A9B1E5DBB80C7E9718F2BB5D4DF
SHA-10048EA7C44ADE7FCB29226D57283F62FDAC68058
SHA-25668D1ED8B130CA05A36861C6747E46DFD4112A3D77594C825099867E69DB0775C
SSDEEP96:GIcAhYBWBGk3B9IPyO9Chn06Uvx2+vWpdQuCNLtTZaCeS3+5ZyULf:Gye8pBVWTvZuipdaCeo
TLSHT1B562195B73C4EAB9F972B3F984CF026A52F1E5E161F2433A07881D4C1E9315452A1EAB
Key Value
FileName./usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_ClassicalUniqueChoice.cmx
FileSize2516
MD5E1AF7B24742B4EE54C120C95F12C8307
SHA-1004DDA0C2C484496898F0FABE33C2F91944023C1
SHA-25603D7F6D4D22E410FDF29ED7FCCDC6AF8851DB10F55361A29F44D018270D24679
SSDEEP48:0n/M6UvVzH/egUK4cWpcD1MQuGNL7Jy9LtqZlR59NttqIc:0n06Uvx2+vWpdQuGNLtTZlttqh
TLSHT123511A693382B7C13923A3639D9E409702705617D5A218BC43CC0BCC1E6696E93D958F
Key Value
FileName./usr/lib/coq/theories/ssr/.coq-native/NCoq_ssr_ssrclasses.cmi
FileSize3006
MD5831CD28A1FF9C8567A5B995FFD03E7F7
SHA-100544F4C2A1802C0D83E8208099D6C254A0FCCC3
SHA-25660AFE643AE6FF2F2E90CD9F3CAEC68A5D88F0FB0FC462D94789ED0DF107902F9
SSDEEP48:Bek32RRdevjen/M6UvVzH/egUK4cWpcD1MQu32NL7Jy9LtqZlL:aRoSn06Uvx2+vWpdQuGNLtTZt
TLSHT1BF51B58C331AB6B2BE22639B4ED9419703B06F1AC6F6CCBD42CC87D8141852D47DE19B





metalookup is a service from miwakeru.com