Result for 3A145A19E7D058D6D9C989151E4011CB58CA8760

Search result
Graph view
Children (2131)

Query result

Key Value
FileSize40797644
MD5A12701941D74B7C70A05B18F667A5465
PackageDescriptionunivalent formalization of mathematics for Coq This package provides a library to formalize a substantial body of mathematics using the univalent point of view. . Coq is a proof assistant for higher-order logic.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-unimath
PackageSectionocaml
PackageVersion20220816-1+b2
SHA-13A145A19E7D058D6D9C989151E4011CB58CA8760
SHA-25625F76531726F526791EC4599FE7015E16C7F560C72665720261BFC3F262ABA31
hashlookup:children-total2131
hashlookup:trust50

Network graph view

Children (Total: 2131)

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

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/Bicategories/Limits/Examples/SubbicatLimits.v
FileSize8252
MD56F1E09533FF6943981B4BC811E1A19D3
SHA-1001083CEC8A2F8A2075585B67617C49507ADEA7C
SHA-2563B7E1B5F8CE7782B077D35882F14C9B64274BDCBA6F4E53B5645336EB7FE6097
SHA-512FD85D4C3530E2A0C6DBE44D8F7922EFA071790A1ACB5ADF685B07B5C6061BA65B80BB5FA2155590779EBC116B4AC5934B8CAC8B99591F7A553AD7F4EFAE1BFEB
SSDEEP96:OwDDxK3INeQFFddKPjsBpjHKPjsBwLmnDsM7DsdIRlC8CLmnDsM7DsdIRlF:C3IPbYmDjvmmCfmDjvmmF
TLSHT13902DA49B0522F1B936FAD367B7A64CAEE145E979C9C380C3E0EB6388F0E5F416D0855
insert-timestamp1683748213.4835913
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/MoreFoundations/PartA.v
FileSize37408
MD5AE6ED98AC62CC679C9CCF4CAC57F6252
SHA-10016D70531D11EE6E6A36089742AABC551539A0F
SHA-2561A3B8BF3E613858156184125FE4FA46C05F00BB486531816518E3F580CD466CF
SHA-5128656AF6A0E31675F732298E55DA32007189F4C5530D0A93C73CB2BEF293C5FD0B56D0180C500A2008E628525C238C5F20CBDD38DAF39ABD2E6113804C74C09E3
SSDEEP768:IiDFajuNoV2SnCAPAbf6myywx8tKnS6S3UJS3UWFJO4e:Iip7N03CAPAbf6myywx8tkS6SmSbC4e
TLSHT1FBF262C5B8876115A25BC173DED388884232EDF357A336A4754CC2AC8F671785BA1F8B
insert-timestamp1683748219.4182508
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/CategoryTheory/Subcategory/Limits.vo
FileSize91321
MD503988ADF79FC5C261638898D344A20BF
SHA-100183A42399E27B540099B6874C414DBDBACD8B9
SHA-256A50CAC31C92C13D5BD2B8BC40564B5D719DD3D070542848B05BFFCEC56F5B848
SSDEEP384:BF9OjKseDe6Jl+oN1j1xR8yGBHIwzCJxYANlzzYpjA6trWL2dncSRwelIUHPs5Wq:BFRs6Jl+or1xRaBH7GJrzutrWC33DHQz
TLSHT16493AA908E619F7DC3AD9B31AE9F860AD3ECC3CAE636091D552BD44D17C764212CA38D
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/Combinatorics/All.v
FileSize1008
MD54C491056620DD5A5DF580F3E8CA884D8
SHA-1002098EB39EEB776CC7D5984C68461E1B1D2BB9C
SHA-256E8857E153DB78694ACA39A75982795EB6D48C4A6AB9FDDE4C976E9FAB92C6BB2
SHA-51242119BD7821E6C6B378A5967DA32FADBE25BBABDAB413C87AD609256E2BCBAC1FCD978B9FD84622099544742BC89AAE12BB6F65AD3E7946E4636A7BABE138F0B
SSDEEP12:Brm7gl1/KqIMN5sKqYsKqZWNUsKqYzUsKqp+5sKqauKqRuKqq5sKq44eb+KqyHVF:Brm7gNNl8t+AdvHLnE3AR7
TLSHT117118FA623B54243302B32F38348FBE4D790D468594F858EDC2CE67E11855815F9C135
insert-timestamp1683748218.708768
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/CategoryTheory/limits/graphs/bincoproducts.vo
FileSize76918
MD5E425CBD38DEF3CA9FE0748C12FF526DA
SHA-1002787F5C8A089D1A3A0BAD7E4364A06DF009CD2
SHA-2561249D0991F9C33F5CEA13E7D8E1BB2481F1F2E910498D636B3E229FDD5FE011B
SSDEEP768:nG5nYRmokUr2gKPOem3ZsIz3AMkK9BId76lHHUiCLp0h3qpqfIfIZtP:4iPK2eQZPz3AMkKsJ6lUVl0h3amtP
TLSHT1E77395B4D83BEA35C79E4572625AC209E30C43CAF7B7190B592B959C56C344B63CB28F
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/CategoryTheory/Monoidal/MonoidalCategories.vo
FileSize2042166
MD568A68E3D569C4FCF04EB77CCEDE37296
SHA-10028612F66F2A08BA5949849E92638D0C4A6C580
SHA-2562E6D6CEDC7187E737FEC0690EEA93CC6C47634EDF82BE851F37D471CA4703B1B
SSDEEP6144:1ylYjqdEYdVtVPsWcd7hBVA6p5CGdxdEHRTKOYRWlrUXFh9hAEKibyaWe4WIyCWw:clWu+dZD4KR0ZChJ2dz
TLSHT19D951D616D99BEA5C31F1B35970ED681CB8DC3ECF73146894027D8CC2BDA9A292C524F
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/Bicategories/Limits/InserterEquivalences.vo
FileSize438327
MD584675D570EEF3C6DA0844512D83F4A24
SHA-10044BDC00B644FE2C5BC7B14AB6EF95AB7F680E9
SHA-256A724ECC3E11DBC1AA372E004C0ADF6D4C3FCCD775EDBBBCDCC74EEC6EB462AD9
SSDEEP6144:+Khv0Z1tmJ9L9ClPerljfs+hr4MHoPQ22wjdhxAeUmJftg33e:T0TtmnhqQjUMHo92MgOJfd
TLSHT17C94B5D0D82DF529C76E4A733646FA59F3D8138DF9A2390D2D1B908C4AC115921CAFAF
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/Folds/folds_isomorphism.vo
FileSize72117
MD5B699E49ED77C44BCEC79F9962CE88CEE
SHA-1005EEF5346627F78E362DA16B9FC1166DDD27268
SHA-256C88A5B988FFFD96539A0F6FB88127B9845C79A823435403D2AE3781A8AB2D150
SSDEEP768:esifrvXL8D/1XW6uv39xt1UBjwq0GtXVHmPQb6dSp4naad33Dm7w3gSGaDw:cXIdu/9xtGKq0wXVH/CSp4b33CcZZw
TLSHT1C66309B6D859AD31D7AE0DB4A755C28AF31D03CEE1F7140E2D0F829C55C128B59C7A8E
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/CategoryTheory/DisplayedCats/StreetFibration.glob
FileSize168164
MD5D570D6BDF0D19DA51AE2C5208810823E
SHA-10060663BF2A78D30FE75B6C0A94447B8D89D9939
SHA-256E367B1B77C6C6A511033AA491FC18CA40A30CC9BE5D03AC642D783824632F930
SSDEEP768:cVaOjbWgtzPbFr4h4XkV0TTTTOUMiiiiMTufKRfXGlCCDXZFSsIgQe9jY5XQANSm:wW6zPbFr4h4JCXZFSszjig6LJ/
TLSHT18AF348EE2E3D089B6FAF9B6253F5033E7A39A457669714F02C29DD54058F4140BCEA83
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/Topology/Filters.glob
FileSize233949
MD5A290C5E38830EFA6280E367CE0BB9725
SHA-1009FCF48AA3E93925C122AF02804593FF06BF074
SHA-25671803BFCA8D840D7F08F94DA8C8FFD6820A418846B9C5394CD7FF84CF741B293
SSDEEP6144:VVCkPYjL7NfQ2PhKS2R4iEtOa8uR5/SjY5k5GL:Kv7NHPhKS2R4iEtOa8uR5/SGL
TLSHT19C345DEE1C7E395A6B7AD371F379030DA13D67F33D4320229A798B9829B6104CACE515





metalookup is a service from miwakeru.com