Login / Signup
Design and Implementation of the Andromeda Proof Assistant.
Andrej Bauer
Gaëtan Gilbert
Philipp G. Haselwarter
Matija Pretnar
Christopher A. Stone
Published in:
TYPES (2016)
Keyphrases
</>
implementation issues
design process
data sets
knowledge based systems
efficient implementation
engineering design
design methodology
current status
information retrieval
case study
test bed
rapid prototyping
circuit design
aspect oriented
functional decomposition