Ivy: A Preprocessor And Proof Checker For First-Order Logic (1999)

Cached

Download Links

by William Mccune , Olga Shumsky
Citations:29 - 10 self

Document Versions

Ivy: A Preprocessor And Proof Checker For First-Order Logic –William Mccune, Olga Shumsky — 1999