Search results

Better object logic proof search

Status: Open.

#21 In meta-logic/sellf;

· gisellemnr opened on Jul 9, 2018

Better cut-elimination coverage

Status: Open.

#20 In meta-logic/sellf;

· gisellemnr opened on Jul 9, 2018

subexponentials.ml should be an immutable structure

Status: Open.

#19 In meta-logic/sellf;

· gisellemnr opened on Jul 1, 2018

context.ml should be an immutable structure

Status: Open.

#18 In meta-logic/sellf;

· gisellemnr opened on Jun 28, 2018

Permutations with cut

Status: Open.

#10 In meta-logic/sellf;

· gisellemnr opened on Jul 24, 2017

Built-in kinds

Status: Open.

#9 In meta-logic/sellf;

· gisellemnr opened on Apr 25, 2017

Syntax change

Status: Open.

#8 In meta-logic/sellf;

· gisellemnr opened on Apr 17, 2017

Quati: Download LaTeX button

Status: Open.

#7 In meta-logic/sellf;

· leonardolima opened on Mar 23, 2017

getHeadPredicate bug

Status: Open.

#6 In meta-logic/sellf;

· gisellemnr opened on Feb 20, 2017

Instantiation of variable formulas

Status: Open.

#5 In meta-logic/sellf;

· gisellemnr opened on Jun 15, 2016

TATU: download proofs

Status: Open.

#3 In meta-logic/sellf;

· gisellemnr opened on Apr 15, 2015

Problem with #done

Status: Open.

#2 In meta-logic/sellf;

· gisellemnr opened on Apr 15, 2015