8000 Issues · agda/cubical · GitHub
[go: up one dir, main page]
Skip to content
Change the issues type filter

Issues

    Issues

  • Suggestion: provide proof that set-coequalizers of finite sets are finite?

    agda/cubical#1004 · opened on May 7, 2023
    2

  • RecordEquiv reflection doesn't seem to handle implicit field arguments

    agda/cubical#995 · opened on Mar 8, 2023
    6

  • Code for Data.Fin.Properties needs to migrate to Cubical.Nat.Properties/Order

    agda/cubical#978 · opened on Feb 1, 2023

  • Consider caching Nix artifacts via Cachix

    agda/cubical#960 · opened on Nov 24, 2022

  • Move Properties of UnivariateList-Polynomials to CommRing

    agda/cubical#944 · opened on Oct 12, 2022
    • 0