A Universal Proof Framework Ali Assaf INRIA Paris-Rocquencourt, Deducteam Outline

First Page		Document Content
Date: 2014-12-18 18:53:21		A Universal Proof Framework Ali Assaf INRIA Paris-Rocquencourt, Deducteam Outline Add to Reading List Source URL: who.rocq.inria.fr Download Document from Source Website File Size: 637,70 KB Share Document on Facebook