Narrating formal proof (Work in Progress)

Find Full text
Thumbnail
Fulltext:
84205.pdf
Size:
449.7Kb
Format:
PDF
Description:
Author’s version preprint
Download
Publication year
2010
Author(s)
Tankink, C.
Geuvers, H.
McKinna, J.H.
Publisher
[S.l : s.n]
In
Aspinall, D. (ed.), Proceedings of the UITP'10, pp. 1-14
Annotation
UITP'10 : 9th International workshop on User Interfaces for Theorem Provers, FLOC'10 Satellite workshop 15th July 2010, Edinburgh, Scotland
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/84205   https://hdl.handle.net/2066/84205
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.