Bàn phím:
Từ điển:
 
automatic proof
  • (Tech) chứng minh tự động