Refactoring Proofs with Tactician.

Published in: SEFM Workshops (2015)

Keyphrases

source code
theorem proving
software systems
software evolution
databases
decision procedures
similarity measure
artificial neural networks
data quality
mathematical proofs
clustering algorithm
relational databases
cut elimination