CmpE352 Meeting #5 - bounswe/bounswe2023group9 GitHub Wiki

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.