Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
Work
Year: 2016
Type: article
Abstract: The use of a functional language to implement proof strategies as proof tactics in interactive theorem provers, often provides short, concise and elegant implementations. Whilst being elegant, the use... more
Authors Yuhui Lin, Gudmund Grov, Rob Arthan
Institution Heriot-Watt University
Cites: 30
Cited by: 3
Related to: 10
FWCI: 0.908
Citation percentile (by year/subfield): 75.32
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: green