1 paper · 1 filter
Xiaolin Hu, Qinghua Zhou, Bogdan Grechuk +1
Interactive theorem provers (ITPs) are powerful tools for the formal verification of mathematical proofs down to the axiom level. However, their lack of a natural language interfac…