Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

MKM
2007
Springer

favoriteEmaildiscussreport

83views Information Technology» more MKM 2007»

A Framework for Interactive Proof

13 years 10 months ago

A Framework for Interactive Proof

Download www.informatik.uni-bremen.de

David Aspinall, Christoph Lüth, Daniel Winter

Real-time Traffic

MKM 2007 |

claim paper

Related Content

» A framework for checking proofs naturally

» A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems

» IsaPlanner A Prototype Proof Planner in Isabelle

» Runtime Addition of Integrity Constraints in an Abductive Proof Procedure

» Reflecting Proofs in FirstOrder Logic with Equality

» JProver Integrating ConnectionBased Theorem Proving into Interactive Proof Assistants

» Quantitative Game Semantics for Linear Logic

» The Isabelle Framework

» Mobile Resource Guarantees for Smart Devices

Post Info
More Details (n/a)

Added	08 Jun 2010
Updated	08 Jun 2010
Type	Conference
Year	2007
Where	MKM
Authors	David Aspinall, Christoph Lüth, Daniel Winterstein

Comments (0)