1 paper · 1 filter
Xiaohui Bei, Jiajun Ma, Zhan Jing +2
Mathematical formalization uses interactive theorem provers to turn informal mathematical statements into machine-checkable artifacts. The success of mathlib, a large collaborative…