External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 2

PDF

Bibliographies

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Design and Implementation of the Andromeda Proof Assistant

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]

Authors

Andrej Bauer

This author has not been identified. Look up 'Andrej Bauer' in Google

Gaëtan Gilbert

This author has not been identified. Look up 'Gaëtan Gilbert' in Google

Philipp G. Haselwarter

This author has not been identified. Look up 'Philipp G. Haselwarter' in Google

Matija Pretnar

This author has not been identified. Look up 'Matija Pretnar' in Google

Christopher A. Stone

This author has not been identified. Look up 'Christopher A. Stone' in Google
runs on