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

Cached

Download Links

by Axel Schairer , Serge Autexier , Dieter Hutter
Citations:8 - 3 self