2 Pull requests merged by 2 people

• flip pullback squares and construct isofibrations

  #58 merged Dec 10, 2024

• Fill in some admitted proofs

  #64 merged Dec 10, 2024

1 Pull request opened by 1 person

• Redefine HomotopyL and HomotopyR

  #63 opened Dec 8, 2024

1 Issue closed by 1 person

• Updates available but manual intervention required

  #59 closed Dec 7, 2024

2 Issues opened by 1 person

• Updates available but manual intervention required

  #65 opened Dec 10, 2024

• Updates available but manual intervention required

  #62 opened Dec 7, 2024

2 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.

• Tracking: homotopy relations

  #60 commented on Dec 9, 2024 • 0 new comments

• Strict segal homotopy category

  #61 commented on Dec 6, 2024 • 0 new comments