https://github.com/HoTT/HoTT
Tip revision: d66af2d5696fc49b38653d2397db3948d512726a authored by Ali Caglayan on 01 April 2024, 09:28:53 UTC
Merge pull request #1894 from Alizter/ps/rr/better_definition_of_monoidal_1_category
Merge pull request #1894 from Alizter/ps/rr/better_definition_of_monoidal_1_category
Tip revision: d66af2d
dune-project
(lang dune 3.8)
(using coq 0.8)
(name coq-hott)
(generate_opam_files true)
(source
(github HoTT/HoTT))
(homepage "http://homotopytypetheory.org/")
(license BSD-2-Clause)
(authors "The HoTT Library Development Team")
(maintainers
"Jason Gross <jgross@mit.edu>"
"Ali Caglayan <alizter@gmail.com>")
(package
(name coq-hott)
(synopsis "The Homotopy Type Theory library")
(description
"To use the HoTT library, the following flags must be passed to coqc:\n -noinit -indices-matter\nTo use the HoTT library in a project, add the following to _CoqProject:\n -arg -noinit\n -arg -indices-matter\n")
(depends
(coq
(>= 8.18.0))))