While these languages are mainly of interest in academic research (including in formalized mathematics), they have begun to be used in engineering as well.
Trong khi những ngôn ngữ này chủ yếu được quan tâm trong nghiên cứu học thuật (kể cả trong toán học hình thức hóa), chúng cũng bắt đầu được sử dụng trong kĩ thuật.