Search results

POSTGRES uses psycopg2

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

Task

#81 In brownplt/LTLTutor;

· sidprasad opened on Apr 2, 2025

Instructor View: Provide More Context on Collected Data

good first issueGood for newcomersGood for newcomers

Status: Open.

Feature

#78 In brownplt/LTLTutor;

· sidprasad opened on Mar 12, 2025

Rendering issues on the TOR browser

bugSomething isn't workingSomething isn't working

Status: Open.

#76 In brownplt/LTLTutor;

· sidprasad opened on Mar 11, 2025

awkward wording: "it is always the case that in the next state, 'q' holds. is necessary for 'i' holds"

Status: Open.

Bug

#75 In brownplt/LTLTutor;

· avanhatt opened on Feb 18, 2025

awkward question: "Eventually, globally, 'z' holds is necessary for 'n' holds"

bugSomething isn't workingSomething isn't working

duplicateThis issue or pull request already existsThis issue or pull request already exists

Status: Open.

Bug

#50 In brownplt/LTLTutor;

· bennn opened on May 30, 2024

LTL to English improvements

bugSomething isn't workingSomething isn't working

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#10 In brownplt/LTLTutor;

· sidprasad opened on May 13, 2024