Search results

redo intern tables and associate them with theories

fol

problem-sets

text-parsing

theories

Status: Open.

#31 In benjishults/bitnots;

· benjishults opened on Apr 4, 2020

User creates limiter configuration for problem set

Status: Open.

#30 In benjishults/bitnots;

· benjishults opened on Feb 16, 2020

on receipt of problem set with existing name, apply versions to old

Status: Open.

#29 In benjishults/bitnots;

· benjishults opened on Feb 16, 2020

User edits problem set

Status: Open.

#28 In benjishults/bitnots;

· benjishults opened on Feb 16, 2020

problem sets are immutable in terms of content...

Status: Open.

#27 In benjishults/bitnots;

· benjishults opened on Feb 16, 2020

User submits problem set to prover

Status: Open.

#26 In benjishults/bitnots;

· benjishults opened on Feb 16, 2020

User creates a problem set

Status: Open.

#25 In benjishults/bitnots;

· benjishults opened on Feb 16, 2020

store problem set status

Status: Open.

#24 In benjishults/bitnots;

· benjishults opened on Feb 16, 2020

try coroutines to parallelize breadth-first unification

enhancement

fol

performance

unification

Status: Open.

#20 In benjishults/bitnots;

· benjishults opened on Oct 13, 2017

web service to initiate ingest from TPTP

db

text-parsing

theories

web-service

Status: Open.

#19 In benjishults/bitnots;

· benjishults opened on Oct 4, 2017

pull in more TPTP tests

enhancement

fol

testing

Status: Open.

#11 In benjishults/bitnots;

· benjishults opened on Sep 27, 2017

improve Kotlin DSL

text-parsing

Status: Open.

#6 In benjishults/bitnots;

· benjishults opened on Sep 21, 2017