2184 series = {EPTCS}, |
2184 series = {EPTCS}, |
2185 month = {July}, |
2185 month = {July}, |
2186 note = {\url{http://eptcs.web.cse.unsw.edu.au/paper.cgi?UITP2014:11}} |
2186 note = {\url{http://eptcs.web.cse.unsw.edu.au/paper.cgi?UITP2014:11}} |
2187 } |
2187 } |
2188 |
2188 |
|
2189 @InProceedings{Wenzel:2018:FIDE, |
|
2190 author = {Makarius Wenzel}, |
|
2191 title = {{Isabelle/jEdit} as {IDE} for domain-specific formal |
|
2192 languages and informal text documents}, |
|
2193 booktitle = {F-IDE Workshop 2018 (Oxford, UK)}, |
|
2194 year = {2018}, |
|
2195 editor = {Paolo Masci and Rosemary Monahan and Virgile Prevosto}, |
|
2196 number = 284, |
|
2197 series = {EPTCS}, |
|
2198 note = {\url{http://eptcs.web.cse.unsw.edu.au/paper.cgi?FIDE2018.6}}, |
|
2199 } |
|
2200 |
|
2201 @InProceedings{Wenzel:2019:MKM, |
|
2202 author = {Makarius Wenzel}, |
|
2203 title = {Interaction with Formal Mathematical Documents in {Isabelle/PIDE}}, |
|
2204 booktitle = {Intelligent Computer Mathematics (CICM 2019)}, |
|
2205 year = {2019}, |
|
2206 editor = {Cezary Kaliszyk and Edwin Brady and Andrea Kohlhase and Sacerdoti Coen, Claudio}, |
|
2207 volume = {????}, |
|
2208 series = LNAI, |
|
2209 publisher = {Springer}, |
|
2210 note = {\url{https://arxiv.org/abs/1905.01735}} |
|
2211 } |
|
2212 |
2189 @book{principia, |
2213 @book{principia, |
2190 author = {A. N. Whitehead and B. Russell}, |
2214 author = {A. N. Whitehead and B. Russell}, |
2191 title = {Principia Mathematica}, |
2215 title = {Principia Mathematica}, |
2192 year = 1962, |
2216 year = 1962, |
2193 publisher = CUP, |
2217 publisher = CUP, |