Top Questions

1. How to prove element addition is injective for a cubical finite multi set?
   3 votes

   1 answers
2. Paths vs Equivalences in cubical agda for specific computational behavior
   3 votes

   1 answers
3. Why does cubical agda choose the particular two component homogeneous path composition operator it does?
   3 votes

   0 answers
4. How to avoid duplicating work across bazel configurations?
   2 votes

   1 answers