Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA
Open access
Date
2020-10Type
- Working Paper
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-b-000456825Publication status
publishedExternal links
Journal / series
arXivPages / Article No.
Publisher
Cornell UniversityOrganisational unit
03653 - Müller, Peter / Müller, Peter
Related publications and datasets
Is part of: https://doi.org/10.3929/ethz-b-000520530
More
Show all metadata
ETH Bibliography
yes
Altmetrics