Description
Agda formalisation to accompany the paper "Triangulating Context Lemmas" by Craig McLaughlin, James McKinna and Ian Stark. DOI 10.1145/3167081.
Data Citation
McLaughlin, Craig; McKinna, James; Stark, Ian. (2017). Triangulating Context Lemmas, [software]. University of Edinburgh. http://dx.doi.org/10.7488/ds/2264.
Date made available | 6 Dec 2017 |
---|---|
Publisher | Edinburgh DataShare |