TY  - RPRT
TI  - Design and Implementation of the Andromeda Proof Assistant
AU  - Andrej Bauer
AU  - Gaëtan Gilbert
AU  - Philipp G. Haselwarter
AU  - Matija Pretnar
AU  - Christopher A. Stone
PY  - 2018
UR  - https://arxiv.org/abs/1802.06217
ID  - 1802.06217
ER  -