Search results

On the expression of properties as first-order formula; attempts, direction and Related Work

Status: Open.

#24 In braibant/articheck;

· gasche opened on Feb 23, 2014

Do some math

Status: Open.

#20 In braibant/articheck;

· protz opened on Feb 10, 2014

Keep names of functions so as to provide concrete counter-exampels

Status: Open.

#17 In braibant/articheck;

· protz opened on Feb 9, 2014

Should type descriptors be equipped with pretty printers PPrint style?

Status: Open.

#12 In braibant/articheck;

· braibant opened on Feb 8, 2014

Using namespaces

Status: Open.

#6 In braibant/articheck;

· braibant opened on Feb 6, 2014

Related work

Status: Open.

#1 In braibant/articheck;

· braibant opened on Feb 6, 2014