Type Inference for Isabelle2Cpp. - Jiang, Dongchen; Mao, Yongkang; Fu, Chenxi (Applied Sciences (2076-3417), 2026)