A pragmatic approach to reuse in tactical theorem proving (0)

by A Schairer, S Autexier, D Hutter
Venue:Electronic Notes in Theoretical Computer Science