UniMath/agda-unimath issues and pull requests

#713 - Clean up the universal property of the integers

Issue - State: open - Opened by VojtechStep about 1 year ago
Labels: good first issue, cleanup, elementary-number-theory, structured-types

#712 - Define precedence levels and associativities for all binary operators

Pull Request - State: closed - Opened by fredrik-bakke about 1 year ago - 78 comments
Labels: cleanup, elementary-number-theory, foundation, synthetic-homotopy-theory, structured-types

#711 - Some computations for different notions of equivalence

Pull Request - State: closed - Opened by fredrik-bakke about 1 year ago - 17 comments
Labels: foundation, orthogonal-factorization-systems, refactoring

#710 - Allow misc. binary operators over max line length

Pull Request - State: closed - Opened by fredrik-bakke about 1 year ago - 2 comments
Labels: pre-commit

#709 - Extending infrastructure for working with descent data for the circle

Pull Request - State: closed - Opened by VojtechStep over 1 year ago - 2 comments
Labels: synthetic-homotopy-theory

#708 - Construct ring congruence from two sided ideal

Pull Request - State: closed - Opened by maybemabeline over 1 year ago - 4 comments
Labels: ring-theory

#707 - Construct ring congruence from two sided ideal

Pull Request - State: closed - Opened by maybemabeline over 1 year ago

#706 - Transport along and action on equivalences

Pull Request - State: closed - Opened by fredrik-bakke over 1 year ago - 41 comments
Labels: foundation, refactoring

#705 - Pre-commit fixes and some miscellaneous changes

Pull Request - State: closed - Opened by fredrik-bakke over 1 year ago - 3 comments
Labels: documentation, CI, repo-maintenance, fix, pre-commit, orthogonal-factorization-systems

#704 - Markdown conventions script does not trigger on ill-formed code blocks

Issue - State: closed - Opened by fredrik-bakke over 1 year ago
Labels: bug, pre-commit

#703 - Eckmann-Hilton in the Universe

Pull Request - State: closed - Opened by morphismz over 1 year ago - 20 comments
Labels: foundation, synthetic-homotopy-theory

#702 - Formalize the Hopf Fibration

Issue - State: open - Opened by morphismz over 1 year ago
Labels: synthetic-homotopy-theory, formalization-target

#701 - Modal type theory

Pull Request - State: closed - Opened by fredrik-bakke over 1 year ago - 10 comments
Labels: orthogonal-factorization-systems, modal-type-theory

#700 - Suspension reorganization

Pull Request - State: closed - Opened by morphismz over 1 year ago - 4 comments
Labels: synthetic-homotopy-theory

#699 - Refactor nilradical proof for prime ideals

Pull Request - State: closed - Opened by maybemabeline over 1 year ago - 4 comments
Labels: commutative-algebra

#698 - Compatibility patch agda-mode

Pull Request - State: closed - Opened by fredrik-bakke over 1 year ago
Labels: vscode

#697 - Cyclic groups

Pull Request - State: closed - Opened by EgbertRijke over 1 year ago
Labels: group-theory

#696 - Trailing whitespace for line breaks in markdown code

Issue - State: closed - Opened by EgbertRijke over 1 year ago - 2 comments
Labels: bug

#695 - adding overview to installation guide

Pull Request - State: closed - Opened by EgbertRijke over 1 year ago - 5 comments
Labels: guides

#694 - Recovering the guidelines for direct clones

Pull Request - State: closed - Opened by EgbertRijke over 1 year ago - 8 comments
Labels: guides

#693 - Normalizers, normal closures, normal cores, and centralizers

Pull Request - State: closed - Opened by EgbertRijke over 1 year ago
Labels: group-theory, guides

#692 - Guidelines for forking the repository and creating branches within clone

Pull Request - State: closed - Opened by EgbertRijke over 1 year ago
Labels: guides

#691 - Recommend cloning shallow library

Pull Request - State: closed - Opened by EgbertRijke over 1 year ago
Labels: guides

#690 - Dependent Universal Property of Suspensions

Pull Request - State: closed - Opened by morphismz over 1 year ago - 7 comments
Labels: synthetic-homotopy-theory

#689 - git checkout is >500MB

Issue - State: closed - Opened by juhp over 1 year ago - 10 comments
Labels: repo-maintenance

#688 - suspension loop space adjunction

Pull Request - State: closed - Opened by morphismz over 1 year ago
Labels: synthetic-homotopy-theory

#687 - Adding comments to the style guides that (subsection) titles should be on one line

Pull Request - State: closed - Opened by EgbertRijke over 1 year ago
Labels: guides

#686 - OLD -- suspension loop space adjunction

Pull Request - State: closed - Opened by morphismz over 1 year ago - 5 comments
Labels: synthetic-homotopy-theory

#685 - Minor reflection fixes

Pull Request - State: closed - Opened by FernandoChu over 1 year ago
Labels: reflection

#684 - cyclic groups

Pull Request - State: closed - Opened by EgbertRijke over 1 year ago
Labels: group-theory, higher-group-theory, structured-types

#683 - Update Nix packages and the website's catppuccin theme assets

Pull Request - State: closed - Opened by VojtechStep over 1 year ago
Labels: repo-maintenance, website, tooling

#682 - refactoring pointed maps

Pull Request - State: closed - Opened by EgbertRijke over 1 year ago
Labels: synthetic-homotopy-theory, structured-types, refactoring

#681 - Conjugation on higher groups

Pull Request - State: closed - Opened by EgbertRijke over 1 year ago
Labels: group-theory, synthetic-homotopy-theory, higher-group-theory

#680 - Small constructions from large ones in order theory

Pull Request - State: closed - Opened by fredrik-bakke over 1 year ago - 1 comment
Labels: order-theory

#679 - `make website` shouldn't type check the library

Issue - State: closed - Opened by fredrik-bakke over 1 year ago - 3 comments
Labels: tooling

#674 - Consistently use `python3` everywhere

Pull Request - State: closed - Opened by VojtechStep over 1 year ago
Labels: bug, documentation, CI, tooling

#673 - Refinements of coverings in locales

Pull Request - State: closed - Opened by fredrik-bakke over 1 year ago
Labels: order-theory

#668 - Add "404 Page not found" page

Issue - State: closed - Opened by fredrik-bakke over 1 year ago
Labels: website

#666 - Website building script should ignore all junk files

Issue - State: open - Opened by fredrik-bakke over 1 year ago
Labels: bug, website

#664 - Pre-commit hooks should ignore all junk files

Issue - State: closed - Opened by fredrik-bakke over 1 year ago - 2 comments
Labels: bug, pre-commit

#658 - LaTeX is not rendered in the left-hand bar

Issue - State: open - Opened by fredrik-bakke over 1 year ago - 3 comments
Labels: website

#654 - Refactor synthetic homotopy theory

Pull Request - State: closed - Opened by EgbertRijke over 1 year ago - 17 comments
Labels: cleanup, synthetic-homotopy-theory, refactoring

#637 - Formalize asserted connections between postulates in design principles

Issue - State: open - Opened by fredrik-bakke over 1 year ago
Labels: documentation, good first issue, group-theory, foundation, synthetic-homotopy-theory, formalization-target

#636 - Feature/finite cover circle

Pull Request - State: closed - Opened by VojtechStep over 1 year ago - 5 comments
Labels: synthetic-homotopy-theory

#634 - Make Python scripts 3.8-compatible

Pull Request - State: closed - Opened by VojtechStep over 1 year ago - 1 comment
Labels: CI, fix

#623 - Beyond finite sets

Pull Request - State: open - Opened by EgbertRijke over 1 year ago
Labels: cleanup, group-theory, category-theory, graph-theory, trees, univalent-combinatorics, refactoring

#595 - The CI doesn't detect broken links in pull requests

Issue - State: closed - Opened by EgbertRijke over 1 year ago
Labels: bug, help wanted, CI, website

#535 - Refactor descent data for the circle

Pull Request - State: closed - Opened by VojtechStep over 1 year ago - 1 comment
Labels: synthetic-homotopy-theory

#519 - Update Nix shell, fix generating SUMMARY.md

Pull Request - State: closed - Opened by VojtechStep over 1 year ago - 2 comments
Labels: bug, tooling

#507 - Support for Agda code blocks in Dark themes

Issue - State: closed - Opened by jonaprieto over 1 year ago - 1 comment
Labels: help wanted, website

#479 - Add precedence and fixity to (standard) binary operators

Issue - State: closed - Opened by fredrik-bakke over 1 year ago - 8 comments
Labels: enhancement

#471 - Move the descent property of the circle

Pull Request - State: closed - Opened by VojtechStep over 1 year ago - 4 comments

#471 - Move the descent property of the circle

Pull Request - State: closed - Opened by VojtechStep over 1 year ago - 4 comments

#466 - Formalise exercise 9.7 e

Pull Request - State: closed - Opened by VojtechStep almost 2 years ago - 3 comments

#439 - Add commit information (including author and dates) for the website pages

Issue - State: closed - Opened by jonaprieto almost 2 years ago - 9 comments
Labels: documentation, enhancement, help wanted, website

#195 - Prepare library for first release

Issue - State: open - Opened by elisabethbonnevier over 2 years ago - 6 comments
Labels: cleanup

GitHub / UniMath/agda-unimath issues and pull requests