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