TY  - RPRT
TI  - DEKL 2.0: Trace-Indexed Knowledge Evolution in Dependent Type Theory
AU  - Chen Peng
PY  - 2026
UR  - https://arxiv.org/abs/2604.22530
ID  - 2604.22530
ER  -