issues
search
ggrov
/
tinker
Graph based proof strategy language
http://ggrov.github.io/tinker/
6
stars
0
forks
source link
Logging of evaluation
#20
Open
ggrov
opened
10 years ago
ggrov
commented
10 years ago
Add feature to log execution. This could include
which goals failed/succeeded on an edge
whether or not it resulted in a successful proofs (for that edge)
how many successful and how many failed branches
length/depth of successful proof
Add feature to log execution. This could include