GitHub repository: benjishults/bitnots

Issues:
issue_53: state: open
title: Bump ch.qos.logback:logback-classic from 1.2.0 to 1.2.13 in /parent
user: dependabot[bot]
labels: dependencies: Pull requests that update a dependency file
issue_51: state: open
title: Bump org.eclipse.jetty:jetty-http from 9.4.48.v20220622 to 9.4.53.v20231009 in /parent
user: dependabot[bot]
labels: dependencies: Pull requests that update a dependency file
issue_31: state: open
title: redo intern tables and associate them with theories
user: benjishults
issue_30: state: open
title: User creates limiter configuration for problem set
user: benjishults
issue_29: state: open
title: on receipt of problem set with existing name, apply versions to old
user: benjishults
issue_28: state: open
title: User edits problem set
user: benjishults
issue_27: state: open
title: problem sets are immutable in terms of content...
user: benjishults
issue_26: state: open
title: User submits problem set to prover
user: benjishults
issue_25: state: open
title: User creates a problem set
user: benjishults
issue_24: state: open
title: store problem set status
user: benjishults
issue_20: state: open
title: try coroutines to parallelize breadth-first unification
user: benjishults
issue_19: state: open
title: web service to initiate ingest from TPTP
user: benjishults
issue_11: state: open
title: pull in more TPTP tests
user: benjishults
issue_6: state: open
title: improve Kotlin DSL
user: benjishults
issue_5: state: open
title: EPIC improve memory usage by sharing structure and destructively modifying
user: benjishults