Search results

Quanto lib

Priority : High

Tinker Core

TODO

Status: Open.

#97 In ggrov/tinker;

· lyhlbyl opened on Feb 23, 2017

over-sized json msg

Priority : Medium

Tinker Core

Tinker GUI

TODO

Status: Open.

#96 In ggrov/tinker;

· lyhlbyl opened on Nov 10, 2016

sledgehammer approach to call itinker

isabelle version

Priority : Low

Tinker Core

Status: Open.

#95 In ggrov/tinker;

· lyhlbyl opened on Sep 14, 2016

unexpected tactic nodes imported from library

Bug

Priority : High

Tinker GUI

Status: Open.

#94 In ggrov/tinker;

· lyhlbyl opened on Aug 3, 2016

clasue goaltype parsing

Tinker Core

TODO

Status: Open.

#90 In ggrov/tinker;

· lyhlbyl opened on Jun 16, 2016

Possible collaboration with Industry

TODO

Status: Open.

#89 In ggrov/tinker;

· lyhlbyl opened on May 24, 2016

Unstable Tinker Core for Rodin

Priority : Low

Tinker Core

Status: Open.

#88 In ggrov/tinker;

· yibo-liang opened on May 3, 2016

a todo list for gui

Tinker GUI

TODO

Status: Open.

#86 In ggrov/tinker;

· lyhlbyl opened on Apr 12, 2016

use xtext to optimise the tactic editor

Tinker GUI

TODO

Status: Open.

#84 In ggrov/tinker;

· lyhlbyl opened on Mar 15, 2016

type for tactic node

Priority : High

Tinker Core

Tinker GUI

TODO

Status: Open.

#83 In ggrov/tinker;

· lyhlbyl opened on Nov 26, 2015

Initial partly instantiated goal node environment

Status: Open.

#79 In ggrov/tinker;

· ggrov opened on Nov 17, 2015

handle tactic argument properly

Priority : Medium

Tinker Core

Tinker GUI

TODO

Status: Open.

#78 In ggrov/tinker;

· ggrov opened on Nov 3, 2015