Design and Implementation of the Andromeda Proof Assistant.

Andrej Bauer Gaëtan Gilbert Philipp G. Haselwarter Matija Pretnar Christopher A. Stone

Published in: CoRR (2018)

Keyphrases

test bed
efficient implementation
implementation issues
design process
design decisions
e learning
parallel distributed
architectural design
rapid prototyping
design considerations
optimal design
design methodology
knowledge based systems
circuit design
website
design methodologies
genetic algorithm