Proviola: A Tool for Proof Re-animation
From MaRDI portal
Publication:3582730
DOI10.1007/978-3-642-14128-7_37zbMath1286.68402arXiv1005.2672OpenAlexW2951995857MaRDI QIDQ3582730
Carst Tankink, Freek Wiedijk, James McKinna, Herman Geuvers
Publication date: 24 August 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1005.2672
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Large Formal Wikis: Issues and Solutions ⋮ Isabelle as Document-Oriented Proof Assistant ⋮ Proviola ⋮ CoqPIE: An IDE Aimed at Improving Proof Development Productivity ⋮ Towards Knowledge Management for HOL Light
Uses Software
This page was built for publication: Proviola: A Tool for Proof Re-animation
