3 Pull requests opened by 3 people

• [ refactor ] `Data.List.Relation.Binary.Sublist.Propositional.Properties`

  #2808 opened Aug 13, 2025

• [Add] Initial files for Domain theory - Continuation of #2721

  #2809 opened Aug 13, 2025

• Module morphisms polymorphic in the underlying ring structure

  #2810 opened Aug 15, 2025

2 Issues closed by 1 person

• [Add] takeNat for Vec in Data.Vec.Base

  #2778 closed Aug 16, 2025

• There should a lemma says Bijective implies Inverse^b in Function.Consequences

  #2806 closed Aug 16, 2025

1 Issue opened by 1 person

• Orientation of the equation `Algebra.Properties.RingWithoutOne.-‿distribˡ-*`

  #2807 opened Aug 12, 2025

5 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Modular arithmetic in terms of ideals

  #2729 commented on Aug 14, 2025 • 10 new comments

• [Add] Initial files for Domain theory

  #2721 commented on Aug 14, 2025 • 2 new comments

• [Add] truncate properties to Data.Vec.Properties

  #2795 commented on Aug 10, 2025 • 1 new comment

• [ refactor ] Functoriality of `Data.List.Relation.Binary.Sublist|Subset` wrt `All` and `Any`

  #2525 commented on Aug 13, 2025 • 0 new comments

• [ refactor ] reorganise `Relation.Nullary.Negation.Core` to make clean separation of properties

  #2805 commented on Aug 11, 2025 • 0 new comments