Search results

5.4-3

bug

Status: Open.

#436 In wojtask/CormenSol;

· wojtask opened on Mar 15, 2025

5.4-2

bug

Status: Open.

#435 In wojtask/CormenSol;

· wojtask opened on Dec 11, 2024

5.4-1

bug

Status: Open.

#434 In wojtask/CormenSol;

· wojtask opened on Dec 5, 2024

6.1-4

bug

Status: Open.

#433 In wojtask/CormenSol;

· wojtask opened on Sep 18, 2024

5.1-3 - brak wzmianki o rzutach monetą w zadaniu

Status: Open.

#432 In wojtask/CormenSol;

· wojtask opened on May 3, 2024

4-6b,c - braki

Status: Open.

#431 In wojtask/CormenSol;

· wojtask opened on Apr 24, 2024

3.2-5 - błędne stwierdzenie

bug

Status: Open.

#430 In wojtask/CormenSol;

· wojtask opened on Jul 2, 2023

3.2-4 - niepełny dowód

Status: Open.

#429 In wojtask/CormenSol;

· wojtask opened on Jul 2, 2023

3.1-1 - błąd w formule

bug

Status: Open.

#428 In wojtask/CormenSol;

· wojtask opened on Jun 29, 2023

B.1b - dowód wynikania 3 => 1 poprawny tylko dla grafów spójnych

bug

Status: Open.

#427 In wojtask/CormenSol;

· wojtask opened on Apr 16, 2023

B.5-3 - usuwać korzeń zamiast dodawać liść

Status: Open.

#426 In wojtask/CormenSol;

· wojtask opened on Apr 6, 2023

B.5-2 - doprecyzować że wersja nieskierowana jest grafem spójnym

Status: Open.

#425 In wojtask/CormenSol;

· wojtask opened on Apr 6, 2023