Result for 6952A30983F7F18E12BA3E15A1418A00140A1649

Search result
Graph view
Children (2131)

Query result

Key Value
FileSize40825984
MD59A8C78E54AE03BB4AE259A7D6D731FB1
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+b3
SHA-16952A30983F7F18E12BA3E15A1418A00140A1649
SHA-256ADFFDE4427969571B3B4EDCCE559D1146D56271B4880579A168108A793922A99
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/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/Bicategories/OtherStructure/Examples/StructureOneTypes.vo
FileSize162567
MD507D5B293870645C7EBE7C657E1DD5D9F
SHA-10038D6A6FECCAE4409FEB7376920208A6C2DDEFF
SHA-2569D7EFE11A536BD89BA9FA1F3F522BF81D4C2032EC5454075E60F8457182BEB5B
SSDEEP3072:E8kggrbkfEyGTQYIOsSukJbxYPWIfRI5oIhV/NUj:lgrEEy8jKWIZI5oIhVej
TLSHT137F3D5E9D47DA422E77F65B33388B588B7E8039DF0B738542D27D1980AC146952C9F2E
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/CategoryTheory/Monoidal/AugmentedSimplexCategory.vo
FileSize195423
MD5D6F1BE4ED9D6EEDE052BDD002AF7B66F
SHA-1003DCE472D468DF9DB03AF8A31BE2302CB8967FF
SHA-25619262B98558B523B6A57C202197E47D5022AF36E468795A46705A6C5A7369BC2
SSDEEP3072:oIQgsf+hH+Z89/NPQqxuYIN6Y+oN/UBbjJt/hJRgU:VQgsfgHDaISF2bjr+U
TLSHT1A4144AB681196D62C7DE4BB2D74AC109EB2903CEE27708461E2BD26C19C319615CFECF
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/CategoryTheory/limits/cones.vo
FileSize108907
MD51D1E4D20BE4B3B82A3E33D8DB872667E
SHA-1003EDAA5A0FFAA8F3C8D341F11529B22661136F8
SHA-2563234A3F844251AAF9EEF7BA64C2ECBE6B4B08C67113AC61A37401C94175F0D22
SSDEEP768:hqzG1SX9KDOJLeBvoz6RA7nC4ZpTEj9rZIlE8CPCppQ7IVH3kFKpIwK+6:oVX9K9BvzALpQx2E8C2Q7SXIx/
TLSHT1C4B3A86599A7FE71C39E4D35674EC64AD30C83CEF227090A111BD9DC1BC7A8662CA18F
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/Combinatorics/CGraph.vo
FileSize78393
MD502BCB37FE216028786CB36777773A96D
SHA-100401E6221D1416609AC157BD77377CEE89F3775
SHA-256DC6ADD7E836DC5166AAABA43BEDFA9D0C4A09969D36BD525355F7D0CA2F47B28
SSDEEP384:pQAMLwF36ATM0OO0H1rdYGrHcGrHoyumGSb/hGAGwm2iUNYn/eOf5tW+cmOoKG//:ptdpg9dY9+/1niUIeOf5Q+yLQ
TLSHT1F8735945CE22F73EC36D4B399A5BC705D3AC93C9F6260A0D512FA0DC5AD764226CA38D
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/CategoryTheory/limits/graphs/coequalizers.vo
FileSize143044
MD5AD7A933750805E06E066C65E52529020
SHA-100443A3054ABB91E447C83DCCD88169A7D873D7D
SHA-256F8F35C6E248CA24929A9890336BE1BD31C02973AE06E80666D77B63FC39D3917
SSDEEP1536:p2z83Bsg2cM7YARUOuALzm6AMJ9eSvGrz:QY3Bsg2cMvntH/eTz
TLSHT1EEE32160CD26FE39C35D4636ABAEC24AD36C13C9F326091E162BE1DC57D215761CA28F
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