Towards a Formally Verified Proof Assistant

Authors:

VRVincent Rahli
Vincent Rahli

Publisher website

1 January 2014

book chapter
Published by Springer Nature

p. 27-44
DOI:10.1007/978-3-319-08970-6_3

Abstract

No abstract available

Keywords

Cited by 31 articles