CmpE352 Meeting #5

Details

📅 Date: 24/03/2023

📍 Location: CMPE Roof

🕐 Duration: 1h 10m

📝 Note Taker: Mehmet Süzer

👥 Attendees:

• Ahmed Bera Pay
• Ahmet Abdullah Susuz
• Ali Mert Geben
• Arda Arslan
• Hakan Emre Aktaş
• Leyla Yayladere
• Mehmet Süzer
• Rafet Oğuz Pançuk
• Ömer Şükrü Uyduran
• Ufuk Altunbulak
• Zülal Molla

Agenda Items

1. Theorems and their proofs
2. Using a node as a predecessor
3. Scope of nodes' subjects/description
4. Mobile versions of mock-ups
5. Overview of wiki pages
6. Duties and capabilities of reviewers

Discussion Items

1. Decided to allow multiple proofs for a theorem.
2. Decided to allow multiple users to add a proof to a theorem.
3. A node can bu used as a predecessor before it's confirmed by a reviewer. Successor nodes' status will be same as their predecessor.
4. If a node's theorem is disproved at some point, all nodes using it as a predecessor will also be disproved.
5. "High Energy Theorem" in mockups should be changed to something more specific, like "Central Limit Theorem"
6. Decided to add mobile versions of mockup pages.
7. A reviewer should send a "comment"/"note" to contributor if something is missing or wrong, not a "task"

Action Items

#	Details	Assignee(s)	Related Issue	Deadline
1	Multiple proofs for a theorem	To be determined	To be determined	To be determined
2	Multiple users posting proofs to a theorem	To be determined	To be determined	To be determined
3	Unpublished nodes as predecessor	To be determined	To be determined	To be determined
4	Disproved theorems and their successors	To be determined	To be determined	To be determined
5	Subject change of node in mockup	To be determined	To be determined	To be determined
6	Creating mobile versions of mockup pages	To be determined	To be determined	To be determined
7	Reviewer sending notes/comments instead of tasks	To be determined	To be determined	To be determined

Next Meeting

• Will be with team members on Wednesday, 29.03.2023.
• Agenda: To discuss which of these changes are feasible/possible, specify current tasks and assign team members to current tasks.