Equality checking for general type theories in andromeda 2 A Bauer, PG Haselwarter, A Petković Mathematical Software–ICMS 2020: 7th International Conference, Braunschweig …, 2020 | 7 | 2020 |

An extensible equality checking algorithm for dependent type theories AP Komel, A Bauer Logical Methods in Computer Science 18, 2022 | 6 | 2022 |

META-ANALYSIS OF TYPE THEORIES WITH AN APPLICATION TO THE DESIGN OF FORMAL PROOFS AP Komel | 1* | |

An extensible equality checking algorithm for dependent type theories A Bauer, AP Komel arXiv preprint arXiv:2103.07397, 2021 | | 2021 |

Meta-analysis of Type Theories with an Application to the Design of Formal Proofs: Doctoral Thesis AP Komel A. Petković Komel, 2021 | | 2021 |

Computing fixed points of monotone piecewise linear functions: master thesis A Petković [A. Petković], 2017 | | 2017 |

Kompaktno dominiran prostor je homotopsko ekvivalenten kompaktu: delo diplomskega seminarja A Petković [A. Petković], 2015 | | 2015 |

The Andromeda proof assistant A Bauer, G Gilbert, PG Haselwarter, A Petković, M Pretnar, CA Stone | | |

Equality checking for dependent type theories A Bauer, A Petković | | |

On equality checking for general type theories: Implementation in Andromeda 2 A Bauer, PG Haselwarter, A Petković EUTYPES-TYPES 2020-Abstracts, 0 | | |