Search results

tableForm in LogicTasks.Forms should not use manual Yesod form fields

Status: Open.

#358 In fmidue/logic-tasks;

· patritzenfeld opened on Apr 10, 2026

Sinnloser Syntax-Check bei Mehrfeld-Resolution

after-semester

Status: Open.

#326 In fmidue/logic-tasks;

· patritzenfeld opened on Nov 27, 2025

Überprüfung bei Flex Konzertaufgabe anpassen

Status: Open.

#323 In fmidue/logic-tasks;

· patritzenfeld opened on Nov 24, 2025

ungünstige Zeilenumbrücke in Pick Task

Status: Open.

#320 In fmidue/logic-tasks;

· KatinkaMeer opened on Nov 21, 2025

Are the remaining uses of PropFormula for inputs okay?

Status: Open.

#300 In fmidue/logic-tasks;

· jvoigtlaender opened on Nov 10, 2025

Use collapsed for extraTexts

Status: Open.

#281 In fmidue/logic-tasks;

· jvoigtlaender opened on Jul 9, 2025

Testen mit zufälligen Konfigurationen bei Step und Prolog

Status: Open.

#264 In fmidue/logic-tasks;

· jvoigtlaender opened on Mar 4, 2025

Test suite hangs when choosing random formula type at DecideSpec

Status: Open.

#263 In fmidue/logic-tasks;

· nimec01 opened on Mar 4, 2025

Reimplement parseDelayedWithAndThen with function from flex-tasks?

Status: Open.

#254 In fmidue/logic-tasks;

· jvoigtlaender opened on Feb 6, 2025

Parameter bei LogicResolutionComplete

Status: Open.

#245 In fmidue/logic-tasks;

· jvoigtlaender opened on Jan 19, 2025

Provide useful submission feedback for incremental solving process

Status: Open.

#235 In fmidue/logic-tasks;

· marcellussiegburg opened on Dec 17, 2024

Verhältnis positiver und negativer Literale bei Formelgenerierung steuern lassen

Status: Open.

#219 In fmidue/logic-tasks;

· jvoigtlaender opened on Nov 15, 2024