Tuệ Tĩnh tên thật là gì?

Nguyễn Bá Tĩnh.Trần Long Tĩnh.Nguyễn Vũ Tĩnh.Lê Hoàng Tĩnh.