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
#1939 - Activating all warnings gives many warnings about overridden notation
Issue -
State: open - Opened by arnoudvanderleer about 2 months ago
#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 about 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
#1925 - Replace `-type-in-type` with something else to enable Alectryon?
Issue -
State: open - Opened by arnoudvanderleer 2 months ago
- 3 comments
#1924 - Recover the proof that type_precat does not have homsets
Pull Request -
State: closed - Opened by arnoudvanderleer 2 months ago
#1923 - Revive the last 100 lines of `DisplayedCats/Constructions`
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
#1920 - Add a section to the style guide about documentation comments
Pull Request -
State: closed - Opened by arnoudvanderleer 2 months ago
#1919 - Replace `Circle.v` by `Circle2.v`
Pull Request -
State: closed - Opened by arnoudvanderleer 2 months ago
- 4 comments
#1918 - Make two definitions of sets in HSET/Core into aliases ...
Pull Request -
State: closed - Opened by arnoudvanderleer 2 months ago
- 2 comments
#1917 - Automated universe checker
Issue -
State: open - Opened by znssong 2 months ago
- 3 comments
#1916 - Formalize the Karoubi envelope using the presheaf category
Pull Request -
State: closed - Opened by arnoudvanderleer 3 months ago
#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
#1910 - Weaken assumptions for the accessors of `exponentials`
Issue -
State: closed - Opened by arnoudvanderleer 4 months ago
#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 4 months ago
- 1 comment
#1900 - Forest june
Pull Request -
State: closed - Opened by JeanGalte 4 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
#1898 - Make the app, var and lambda notation print-only and make sure they actually work
Pull Request -
State: closed - Opened by arnoudvanderleer 5 months ago
#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
#1895 - Show that under some circumstances, two precomposition functors that together are an adjoint equivalence, are also themselves adjoint equivalences
Pull Request -
State: closed - Opened by arnoudvanderleer 5 months ago
- 3 comments
#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 5 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
#1884 - Improve notation in BinaryOperations, Groups and Monoids, split Groups and Monoids
Pull Request -
State: closed - Opened by arnoudvanderleer 6 months ago
- 1 comment
#1883 - adapt header infos and section titles in package SubstitutionSystems after a reorganization
Issue -
State: open - Opened by rmatthes 6 months ago
- 2 comments
#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
#1846 - Build support for the fundamental theorem of the lambda calculus in the AlgebraicTheories package
Pull Request -
State: closed - Opened by arnoudvanderleer 9 months ago
- 2 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 9 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 10 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
#1696 - Should we replace `-type-in-type` with `Unset Universe Checking` in some way?
Issue -
State: closed - Opened by peterlefanulumsdaine over 1 year ago
- 22 comments
#1693 - GrpdHITs currently not building over Coq dev
Issue -
State: closed - Opened by peterlefanulumsdaine over 1 year ago
- 5 comments
#1692 - Fix possible typo — double-sufficed make targets, `UniMath/Foundations/Preamble.v.vo` etc.
Pull Request -
State: open - Opened by peterlefanulumsdaine over 1 year ago
- 5 comments
#1671 - WIP: Add Alectryon to build system to allow for automated creation of interactive HTML documentation.
Pull Request -
State: open - Opened by Bigstep22 over 1 year ago
- 22 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