Abstract
It is perfectly possible to conduct all proofs in the mural proof assistant using only the single-step-at-a-time strategy provided by the justification tool; this can, however, become tedious. It was therefore felt advantageous to provide an additional layer of functionality whereby the user can interact with the system using ‘large scale’ operations.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag London Limited
About this chapter
Cite this chapter
Jones, C.B., Jones, K.D., Lindsay, P.A., Moore, R.D. (1991). The tactic language. In: mural: A Formal Development Support System. Springer, London. https://doi.org/10.1007/978-1-4471-3180-9_5
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3180-9_5
Publisher Name: Springer, London
Print ISBN: 978-3-540-19651-8
Online ISBN: 978-1-4471-3180-9
eBook Packages: Springer Book Archive