Andrej Bauer, Gaëtan Gilbert, Philipp G. Haselwarter, Matija Pretnar, Christopher A. Stone. Design and Implementation of the Andromeda Proof Assistant. In Silvia Ghilezan, Herman Geuvers, Jelena Ivetic, editors, 22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 23-26, 2016, Novi Sad, Serbia. Volume 97 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]
@inproceedings{BauerGHPS16,
title = {Design and Implementation of the Andromeda Proof Assistant},
author = {Andrej Bauer and Gaëtan Gilbert and Philipp G. Haselwarter and Matija Pretnar and Christopher A. Stone},
year = {2016},
doi = {10.4230/LIPIcs.TYPES.2016.5},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2016.5},
researchr = {https://researchr.org/publication/BauerGHPS16},
cites = {0},
citedby = {0},
booktitle = {22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 23-26, 2016, Novi Sad, Serbia},
editor = {Silvia Ghilezan and Herman Geuvers and Jelena Ivetic},
volume = {97},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-065-1},
}