TY  - RPRT
TI  - Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)
AU  - Johannes Niederhauser
AU  - Chad E. Brown
AU  - Cezary Kaliszyk
PY  - 2024
DO  - 10.1007/978-3-031-63498-7_6
UR  - https://arxiv.org/abs/2410.14232
ID  - 2410.14232
ER  -