Pulse Contributors Code frequency Recent commits

2024-12-26T14:53:56Z - 2025-01-02T14:53:56Z

Period: 1 week

1 day 3 days 1 week 1 month 3 months 6 months 1 year

Overview

0 active pull requests

2 active issues

0
Merged pull requests 0
Proposed pull requests 2
Closed issues 2
New issues

Excluding merges, 1 author has pushed 2 commits to master and 2 commits to all branches. On master, 5 files have changed and there have been 219 additions and 15 deletions.

2 issues closed from 1 user

Closed #49 Define composition of graded homomorphisms 2024-12-30 20:31:35 +00:00

Closed #50 Define composition of left modules 2024-12-30 20:31:30 +00:00

2 issues created by 0 users

Opened #49 Define composition of graded homomorphisms 2024-12-30 19:45:48 +00:00

Opened #50 Define composition of left modules 2024-12-30 20:14:19 +00:00

7 unresolved conversations

Open #23 Understand and define exact sequences 2024-12-31 18:57:03 +00:00

Open #36 Prove Lemma 4.1.5 from FvD's thesis 2024-12-31 18:57:03 +00:00

Open #43 FvD Thesis Theorem 5.4.12 2024-12-31 18:57:03 +00:00

Open #25 Define LES 2024-12-31 18:57:03 +00:00

Open #24 Understand and define exact couples 2024-12-31 18:57:03 +00:00

Open #35 Formalize section 4.1, proving π₃(S²) ≃ ℤ 2024-12-31 18:57:03 +00:00

Open #40 LES Step 1 2024-12-31 18:57:03 +00:00