A Pragmatic Approach to Reuse in Tactical Theorem Proving (2001)

View PDF

Download Links

by Axel Schairer , Serge Autexier , Dieter Hutter
Citations:9 - 4 self