Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / UniMath/UniMath issues and pull requests

#1941 - WIP: Move all documentation to the `/documentation` folder

Pull Request - State: open - Opened by arnoudvanderleer about 1 month ago - 4 comments

#1940 - Removes the #[reversible=no] annotations of all coercions,

Pull Request - State: closed - Opened by arnoudvanderleer about 2 months ago - 1 comment

#1938 - remove wiki dir

Pull Request - State: closed - Opened by benediktahrens about 2 months ago

#1937 - Publish a release compatible with Coq 8.20

Issue - State: closed - Opened by SnarkBoojum about 2 months ago - 16 comments

#1936 - Algebraic geometry - up to the definition of schemes

Pull Request - State: closed - Opened by arnoudvanderleer 2 months ago - 3 comments

#1935 - Remove the CI run for 8.20, since coq latest is now at 8.20

Pull Request - State: closed - Opened by arnoudvanderleer 2 months ago - 6 comments

#1934 - Adapt the CI

Issue - State: closed - Opened by nmvdw 2 months ago

#1933 - Notation warnings

Issue - State: open - Opened by nmvdw 2 months ago - 2 comments

#1932 - Split up Constructions.v into six coherent parts

Pull Request - State: closed - Opened by arnoudvanderleer 2 months ago - 4 comments

#1931 - Wiki vs README files

Issue - State: open - Opened by arnoudvanderleer 2 months ago - 7 comments

#1930 - Move RezkCompletion and rezk_completion to the folder RezkCompletions

Pull Request - State: closed - Opened by arnoudvanderleer 2 months ago - 4 comments

#1929 - Consolidate contribution information

Issue - State: open - Opened by blinkybool 2 months ago - 7 comments

#1928 - Algebras for pointed endofunctors and Kelly's transfinite construction

Pull Request - State: closed - Opened by blinkybool 2 months ago - 17 comments

#1927 - `RezkCompletion.v` and `rezk_completion.v`

Issue - State: closed - Opened by arnoudvanderleer 2 months ago - 1 comment

#1926 - Clean up rezk_completion, show that the Rezk completion is unique

Pull Request - State: closed - Opened by arnoudvanderleer 2 months ago - 10 comments

#1924 - Recover the proof that type_precat does not have homsets

Pull Request - State: closed - Opened by arnoudvanderleer 2 months ago

#1922 - Split up `DisplayedCats/Constructions.v`

Issue - State: closed - Opened by arnoudvanderleer 2 months ago - 4 comments

#1921 - Last files of OrderTheory

Pull Request - State: closed - Opened by arnoudvanderleer 2 months ago

#1919 - Replace `Circle.v` by `Circle2.v`

Pull Request - State: closed - Opened by arnoudvanderleer 3 months ago - 4 comments

#1918 - Make two definitions of sets in HSET/Core into aliases ...

Pull Request - State: closed - Opened by arnoudvanderleer 3 months ago - 2 comments

#1917 - Automated universe checker

Issue - State: open - Opened by znssong 3 months ago - 3 comments

#1915 - Show that the Yoneda embedding preserves exponentials

Pull Request - State: closed - Opened by arnoudvanderleer 3 months ago

#1914 - Add schools to the CI config

Pull Request - State: closed - Opened by arnoudvanderleer 3 months ago - 1 comment

#1913 - Add the Schools repo to CI

Issue - State: closed - Opened by benediktahrens 3 months ago - 1 comment
Labels: CI

#1912 - Add basic definitions and results regarding pre-bilattices

Pull Request - State: closed - Opened by giorgio93p 3 months ago - 1 comment

#1911 - First steps of tripos-to-topos

Pull Request - State: closed - Opened by nmvdw 4 months ago - 2 comments

#1909 - 8.20-alpha replaced by '8.20' as extra Coq version for CI, thanks to …

Pull Request - State: closed - Opened by rmatthes 4 months ago - 1 comment

#1908 - adds 8.20 to the Coq versions for building UniMath

Pull Request - State: closed - Opened by rmatthes 4 months ago - 4 comments

#1907 - Remove outdated BUILD_COQ instructions

Pull Request - State: closed - Opened by cangiuli 4 months ago - 1 comment

#1906 - Refactor displayed category of monos

Pull Request - State: closed - Opened by nmvdw 4 months ago

#1905 - Partial equivalence relations in hyperdoctrines

Pull Request - State: closed - Opened by nmvdw 4 months ago

#1904 - The first-order hyperdoctrine of monomorphisms

Pull Request - State: closed - Opened by nmvdw 4 months ago

#1903 - Formalize the original proof of Dana Scott's 1980 representation theorem

Pull Request - State: closed - Opened by arnoudvanderleer 4 months ago - 7 comments

#1902 - Triposes and H-valued predicates

Pull Request - State: closed - Opened by nmvdw 4 months ago

#1901 - Add the construction of a Lawvere theory from an algebraic theory

Pull Request - State: closed - Opened by arnoudvanderleer 5 months ago - 1 comment

#1900 - Forest june

Pull Request - State: closed - Opened by JeanGalte 5 months ago

#1899 - Formalize the construction of a one-object category from a monoid

Pull Request - State: closed - Opened by arnoudvanderleer 5 months ago - 11 comments

#1897 - Univalence statements for double bicats

Pull Request - State: closed - Opened by nmvdw 5 months ago

#1896 - CI in trouble with Coq 8.21+alpha

Issue - State: closed - Opened by rmatthes 5 months ago - 4 comments
Labels: CI

#1894 - remove check

Pull Request - State: closed - Opened by benediktahrens 5 months ago

#1893 - Reasoning with foldr1_map

Pull Request - State: closed - Opened by rmatthes 5 months ago - 2 comments

#1892 - Problem with notation in `AlgebraicTheories`?

Issue - State: closed - Opened by benediktahrens 5 months ago - 5 comments

#1891 - The theory of extensions

Pull Request - State: closed - Opened by arnoudvanderleer 5 months ago - 5 comments

#1890 - Original representation theorem

Pull Request - State: closed - Opened by arnoudvanderleer 5 months ago - 6 comments

#1889 - Some more theory of double categories

Pull Request - State: closed - Opened by nmvdw 6 months ago

#1888 - Basic theory of lax extensions

Pull Request - State: closed - Opened by nmvdw 6 months ago - 4 comments

#1887 - Quantale valued relation and coalgebras

Pull Request - State: closed - Opened by nmvdw 6 months ago

#1886 - The double bicategory of enriched profunctors

Pull Request - State: closed - Opened by nmvdw 6 months ago

#1885 - Clean up the Domains and Rings algebra files

Pull Request - State: closed - Opened by arnoudvanderleer 6 months ago - 1 comment

#1882 - Composition of enriched profunctors

Pull Request - State: closed - Opened by nmvdw 6 months ago - 2 comments

#1881 - multi-sorted binding signatures for untyped and typed forests

Pull Request - State: closed - Opened by JeanGalte 6 months ago - 1 comment

#1880 - Enriched profunctors

Pull Request - State: closed - Opened by nmvdw 7 months ago - 1 comment

#1879 - adds a forgotten Section around the development with parameter

Pull Request - State: closed - Opened by rmatthes 7 months ago

#1878 - some beautification of package SubstitutionSystems

Pull Request - State: closed - Opened by rmatthes 7 months ago

#1876 - Remove undesired axiom

Issue - State: closed - Opened by benediktahrens 7 months ago - 4 comments

#1874 - Adapt to https://github.com/coq/coq/pull/18880

Pull Request - State: closed - Opened by proux01 7 months ago - 8 comments

#1863 - Please pick the version you prefer for Coq 8.19 in Coq Platform 2024.01

Issue - State: closed - Opened by rtetley 8 months ago - 10 comments

#1854 - Reversible coercions

Issue - State: closed - Opened by nmvdw 9 months ago - 3 comments

#1842 - Updating names with "wrong capitalization"

Issue - State: closed - Opened by arnoudvanderleer 9 months ago - 6 comments

#1835 - Please help debug ltac induced error

Issue - State: open - Opened by jmikedupont2 10 months ago - 3 comments

#1832 - compilation problems in CI with Coq 8.20 (dev)

Issue - State: closed - Opened by rmatthes 10 months ago - 3 comments
Labels: CI

#1819 - Error "Argument list too long" when running sanity checks

Issue - State: closed - Opened by benediktahrens 11 months ago - 3 comments

#1787 - which version of Coq are we allowed to use?

Issue - State: closed - Opened by rmatthes about 1 year ago - 3 comments

#1785 - how to keep track of which .v files of UniMath are being compiled?

Issue - State: closed - Opened by rmatthes about 1 year ago - 6 comments

#1757 - Error `/bin/sh: Argument list too long` when doing `$ make install`

Issue - State: closed - Opened by benediktahrens about 1 year ago - 15 comments

#1722 - Get rid of UU : UU warning?

Issue - State: closed - Opened by paigenorth over 1 year ago - 2 comments

#1716 - New package: order theory

Issue - State: closed - Opened by nmvdw over 1 year ago - 15 comments
Labels: pull request submitted, code change - just do

#1713 - Beta-reduction for pairs is problematic

Issue - State: open - Opened by rmatthes over 1 year ago - 3 comments

#1710 - Split the file DisplayedCats/BinProducts

Issue - State: open - Opened by nmvdw over 1 year ago
Labels: code change - just do, good first issue

#1702 - Commented material in `Foundations.NaturalNumbers`

Issue - State: open - Opened by peterlefanulumsdaine over 1 year ago - 1 comment
Labels: code change - just do, good first issue

#1701 - Mostly restore EquivalencMonCatNonCurried

Pull Request - State: open - Opened by peterlefanulumsdaine over 1 year ago - 5 comments

#1693 - GrpdHITs currently not building over Coq dev

Issue - State: closed - Opened by peterlefanulumsdaine over 1 year ago - 5 comments

#1664 - Should we minimize imports?

Issue - State: closed - Opened by benediktahrens over 1 year ago - 8 comments

#1661 - "dagger" category

Issue - State: closed - Opened by DanGrayson over 1 year ago - 7 comments

#1655 - Move a file

Issue - State: closed - Opened by nmvdw over 1 year ago
Labels: good first issue

#1652 - WIP: Smarter cache management for CI.

Pull Request - State: open - Opened by m-lindgren over 1 year ago - 4 comments

#1647 - Restore EquivalencMonCatNonCurried.v

Issue - State: open - Opened by m-lindgren over 1 year ago - 4 comments

#1637 - Terminology: power category

Issue - State: closed - Opened by nmvdw over 1 year ago - 3 comments
Labels: documentation, code change - just do

#1634 - Have CI generate CONTENTS.md when a PR is merged

Issue - State: open - Opened by m-lindgren over 1 year ago - 2 comments
Labels: CI

#1616 - https://unimath.org is timing out

Issue - State: closed - Opened by benediktahrens almost 2 years ago - 5 comments

#1611 - Confusion about CI sanity checks

Issue - State: closed - Opened by benediktahrens almost 2 years ago - 2 comments

#1597 - investigate if PR #1199 still has valuable contents

Issue - State: closed - Opened by rmatthes almost 2 years ago
Labels: code change - just do

#1575 - Improve CI for satellite repos

Issue - State: closed - Opened by benediktahrens about 2 years ago - 7 comments
Labels: CI

#1530 - Set up alectryon for UniMath?

Issue - State: closed - Opened by benediktahrens over 2 years ago - 5 comments

#1512 - resurrect the last 100 loc of CategoryTheory/DisplayedCats/Constructions.v

Issue - State: closed - Opened by rmatthes over 2 years ago
Labels: pull request submitted, code change - just do, good first issue

#1399 - Change CI to use OPAM for installation of ocaml stuff

Issue - State: closed - Opened by benediktahrens about 3 years ago - 5 comments