VSL 2014: VIENNA SUMMER OF LOGIC 2014

Interactive Theorem Provers from the perspective of Isabelle/Isar

Author: Makarius Wenzel

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Interactive Theorem Provers from the perspective of Isabelle/Isar
Authors:Makarius Wenzel
Proceedings:APPA 2014 VSL Proceedings
Editors: Bruno Woltzenlogel Paleo and David Delahaye
Keywords:
Abstract:
Pages:1
Talk:Jul 18 12:00
Paper:
Disclaimer | Powered by EasyChair Smart Program