Developing & Debugging Proof Strategies by Tinkering

First Author: Yuhui LinYuhui Lin, And Gudmund Grov
Attributed to:  The Integration and Interaction of Multiple Mathematical Reasoning Processes funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://ggrov.github.io/tinker/tacas16/

Type: Conference/Paper/Proceeding/Abstract

ISSN: 03029743