Result for AC857CA5624B1623DF5AFD5C17BE3F8FB3151D0E

Search result
Graph view
Children (2131)

Query result

Key Value
FileSize40907568
MD57626BCD100ED651CB2086F98890F292E
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-2+b1
SHA-1AC857CA5624B1623DF5AFD5C17BE3F8FB3151D0E
SHA-256E42EC8DF7689319584558D739F5629D9801C38B79A04BEE7FAF0F6728A42F40B
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/CategoryTheory/categories/Type/Limits.vo
FileSize9127
MD519B73496639CBE40429994533357B6E2
SHA-10002B7176B75BCD0D7CCD4630B1C76064CE90EE5
SHA-256106DFC94A1BA8D27FA2C440457079634D5AFA37C47D0F2BE6DC34C84584EC17F
SSDEEP96:gBNSXdBosyeWQFkGqE7hrL9pFC5VKrjmw6KVnG26+6qH6+jOINyagxRwL9JbIb3T:g3SLUY57817np53
TLSHT1111277DC40BA025DEA7BDB3312F1714D30B48A87F1576CB0BE39A6524308A9657DFB1A
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/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/Algebra/Domains_and_Fields.vo
FileSize332336
MD5145D17D93D583785C45AF7D6538B08A7
SHA-1003737D255C29FC5ED7EA45ED4BBB3518485FFEF
SHA-2567C8507BC323415A2E3EFFC69336EB6D24E326FBDCA641A6C3ABA906904B5D2AB
SSDEEP3072:8ankNtC+DcI+fUoZQTHYfIUgQYwWWCbRVzO0mXAUEKHoy:8BnoKDUYRiXAUETy
TLSHT17B640B256DA2BEB5C35E0E36874EC205D35C83CDF626060E496BC5EC1BCB1536AC668F
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/Bicategories/MonoidalCategories/ConstructionOfActions.vo
FileSize105222
MD5088225ABFD184498D0F46D597445B2EC
SHA-1004FD32D1F1C3AB6630DFB73A4E5A1A6BE28CB9D
SHA-256FF0C16C517FEDC8BF83E361C119A5F20FC1D82D1885F8F027C8FB7EA08A4BD51
SSDEEP1536:5daHfKgXK0DdI5o5BPb94Sz5CLqBzkwhe4Lk/Dy1To:ra/JhmWbeSYqlaAkry1E
TLSHT12FA37595947AF522C76E1A72624AD18DE39C03CEF677185D1C1B93DC2AC218722C7E8F
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/Foundations/UnivalenceAxiom2.vo
FileSize11289
MD59AFF67DEE36D45A023D22D3E3A176C7D
SHA-10073BE5403F18B105D13CD1A54C3B809A8C437A9
SHA-256C13E6ADA7B0ABB0839FBD3420D7FD4CF1773CBE024B50F1996575D21AD769AE8
SSDEEP96:QDNqsR8oh1VvjZcklOsvUHYwc0YeYZce0vUiXvN/NqNtNsTBEBahWV:QDMh8pcklX8HYwc0YeYKH/VAnABY
TLSHT1D732650C92A15E9AC7ED4F3292ED570BE32CC78ED3476715946AC1E02FC771326D628A
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
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/CategoryTheory/Monads/MonadAlgebras.vo
FileSize148734
MD5B22FF106EC61C1C9AB62141418732091
SHA-100AFD64819C1564724C50FB0130384011942C74A
SHA-2561704BD9EF4A6573AC3E2F07A912A691DC59685C2BB600CDD56C7A9378BD7DDE7
SSDEEP1536:QYeRYRnf3Qha4VfHXFkUI1BdYrGIkVNjATRVzYrF+3IK9TKpbl:YRYRnf3Qha4F3JEYbYB8ql
TLSHT112E350658827FA31C72E0772969AC144E3DC47CDF6762A1A196BC1EC29C304767C6B8F





metalookup is a service from miwakeru.com