Old Web
English
Sign In
Acemap
>
Paper
>
Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA
Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA
2021
Felix A. Wolf
Malte Schwerhoff
Peter Müller
Correction
Source
Cite
Save
Machine Reading By IdeaReader
50
References
0
Citations
NaN
KQI
[]