An extensible equality checking algorithm for dependent type theories (Q5028472)
From MaRDI portal
scientific article; zbMATH DE number 7471706
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An extensible equality checking algorithm for dependent type theories |
scientific article; zbMATH DE number 7471706 |
Statements
9 February 2022
0 references
type theory
0 references
equality checking
0 references
proof assistant
0 references
cs.LO
0 references
math.LO
0 references
