Result for 01B1A9682E05CD1D63FEB0105A12BF0EFB5D0F3B

Search result
Graph view
Parent (12)

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Spaces/Finite/Tactics.glob
FileSize681
MD539C66C513AEB18CC4A85C37CC8966246
SHA-101B1A9682E05CD1D63FEB0105A12BF0EFB5D0F3B
SHA-2567AA566904D481452F317A1BF75FC0A3118D80F837CC945E9245644D3E43238FA
SSDEEP12:btiUywF81CiUXMPk08D28DkkSvkSPSAvSgSAvSNV5VJvRaSNvRaS0:bVF80iRPX8D28DolbkbJr+
TLSHT1C401D63B514F08BF97CAA16722D10783EF1801515EE0DB336641C36C4CB9B4C944D297
hashlookup:parent-total12
hashlookup:trust100

Network graph view

Parents (Total: 12)

The searched file hash is included in 12 parent files which include package known and seen by metalookup. A sample is included below:

Key Value
FileSize14110656
MD5003732525E6EAC9D1758B92E743B1C68
PackageDescriptionCoq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . Coq is a proof assistant for higher-order logic.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-hott
PackageSectionocaml
PackageVersion8.16-1+b2
SHA-12D65F753212A01FF406D4823CAECFF573980BD7B
SHA-25664E577CDD8746B4FA4B3F4076B76A4B0A5323790C3133915E7F8B20A76CC772B
Key Value
FileSize14086640
MD56AB5FC6698A8DD1113C0D33695765943
PackageDescriptionCoq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . Coq is a proof assistant for higher-order logic.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-hott
PackageSectionocaml
PackageVersion8.16-1+b1
SHA-1E89BCC9EBEF78BE283CC4C3CBB28AB5C89465D24
SHA-2566DDAB7C93CB2250F6BF98FF66E2AA6DAB1AA386C2B5CFF8E5B4E961B537FD452
Key Value
FileSize14095988
MD583430813A80A585FE6279B8A7EA06526
PackageDescriptionCoq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . Coq is a proof assistant for higher-order logic.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-hott
PackageSectionocaml
PackageVersion8.16-1+b1
SHA-185588CBD85E7D3619F56866173097E823FF370A1
SHA-256754FF7F3FD8CDF01E84DB0A95E11C291FCEC19DF5BC87947E03048FA6B508535
Key Value
FileSize14096728
MD5441583A9BE5C353AF7559C0D5457ED81
PackageDescriptionCoq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . Coq is a proof assistant for higher-order logic.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-hott
PackageSectionocaml
PackageVersion8.16-2+b1
SHA-12F0C373A1431E36C042508408D498B46C0F6AEE0
SHA-256453EF8661C6BC0D57E600E2D80F16491610102E899A5D478A7FD7FAA5AFA1AC0
Key Value
FileSize14068916
MD511AB5B454D404FD9B63CD1DA5F2BFA3F
PackageDescriptionCoq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . Coq is a proof assistant for higher-order logic.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-hott
PackageSectionocaml
PackageVersion8.16-2+b1
SHA-1C1B7762DED5E4803AB7F577E127E7DF50C158E12
SHA-25617777293B1954D1BA23FEE2F9BE972AB304C039EC0EE0A36CEA5B344D9DABEC5
Key Value
FileSize14075456
MD5D3A5ED2890EE7E96116F707633F64E42
PackageDescriptionCoq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . Coq is a proof assistant for higher-order logic.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-hott
PackageSectionocaml
PackageVersion8.16-1+b2
SHA-1A9C784514F2559F3868711BBE9D18A6E98EF073E
SHA-256733BB8E2BF5C6CB447FFD5B4C622105E2E394685AE869D346E6E4CD36EE1573F
Key Value
FileSize14102856
MD5C74D9C97CE73274FAA83ABBEA2B3DD91
PackageDescriptionCoq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . Coq is a proof assistant for higher-order logic.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-hott
PackageSectionocaml
PackageVersion8.16-2+b1
SHA-14B14643D8C2AC2736B5AA99C0ECE039537FA4DD6
SHA-2564A5BA86A3AB752470FEF68E3ACA544E21692594C94EB23EF648E85EDD873A208
Key Value
FileSize14074532
MD51B01052782FB64E52D9B179DAB4C8BDC
PackageDescriptionCoq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . Coq is a proof assistant for higher-order logic.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-hott
PackageSectionocaml
PackageVersion8.16-1+b2
SHA-1CFD87497682DD0A5338FBC3B7D3939662B89509C
SHA-2563B78F77B7A76A51DDDD25DFDD5A0E57A1FE420E1F60E48EDD5E5FDCC40ABD591
Key Value
FileSize14083724
MD55433E1000FBB33228BE32192123C5A15
PackageDescriptionCoq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . Coq is a proof assistant for higher-order logic.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-hott
PackageSectionocaml
PackageVersion8.16-1+b1
SHA-11F96EC6A3616E1990732C1ADC02982756783E345
SHA-2562E89F4F78D4582CAE5B5B4409700A5F092F53E3EDF6DE6BF9E40B43773125C8B
Key Value
FileSize14103632
MD516BC99FDFC99F77A957A01E9ECD3AC31
PackageDescriptionCoq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . Coq is a proof assistant for higher-order logic.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-hott
PackageSectionocaml
PackageVersion8.16-1+b1
SHA-13316ECF3093BB8488727D494E53729DA793F9693
SHA-25650FC81BAD147F343C7F30677019D0309EDCA176C4CC0BAD54649B8E1826E4568
Key Value
FileSize14085092
MD578191B172F650C948C0091623FC9D8F3
PackageDescriptionCoq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . Coq is a proof assistant for higher-order logic.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-hott
PackageSectionocaml
PackageVersion8.16-1+b2
SHA-1C09BD85C067F9BA1DDD779019165DFE3B148E226
SHA-256C85A68F9F0E699A9040C04FBFF3869BD6D7E614A4D778217B9E41E8D8E891D0D
Key Value
FileSize14104768
MD510EED8130816EBA4EA3F3AC0734EE03F
PackageDescriptionCoq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . Coq is a proof assistant for higher-order logic.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-hott
PackageSectionocaml
PackageVersion8.16-2+b1
SHA-17C184349A1178FFFB1697BA1C4C8BC0DF973DC70
SHA-2569B84D4762469E27CBA66BA63D775EE5DF0C69C288E4CCE4CCE86F2F471A4D309





metalookup is a service from miwakeru.com