TY  - RPRT
TI  - Type Inference for Isabelle2Cpp
AU  - Dongchen Jiang
AU  - Chenxi Fu
PY  - 2024
UR  - https://arxiv.org/abs/2404.18067
ID  - 2404.18067
ER  -