The proof assistant, known as Coq,

The proof assistant, known as Coq, provided the tools, but the MIT researchers still had to do the work.

ผลลัพธ์ (ไทย) 1:

ผู้ช่วยหลักฐาน เรียกว่าก็อค ให้บริการเครื่องมือ แต่ยังมีนักวิจัย MIT ทำงาน

ผลลัพธ์ (ไทย) 2:

ผู้ช่วยผู้หลักฐานเป็นที่รู้จัก Coq ให้เครื่องมือ แต่นักวิจัยเอ็มไอทียังคงมีการทำผลงาน

ผลลัพธ์ (ไทย) 3:

หลักฐานผู้ช่วย ที่เรียกว่าต้นทุน จัดหาเครื่องมือ แต่นักวิจัย MIT ยังต้องทำงาน