Follow
Anja Petković Komel
Anja Petković Komel
Verified email at tuwien.ac.at - Homepage
Title
Cited by
Cited by
Year
Equality checking for general type theories in andromeda 2
A Bauer, PG Haselwarter, A Petković
Mathematical Software–ICMS 2020: 7th International Conference, Braunschweig …, 2020
72020
An extensible equality checking algorithm for dependent type theories
AP Komel, A Bauer
Logical Methods in Computer Science 18, 2022
62022
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
The system can't perform the operation now. Try again later.
Articles 1–10