Система Мицар
Система Mizar Система Mizar Mizar – это формальный язык для математических определений и доказательств с автоматическим помощником проверки. Проект Mizar […]
Вики
Programming languages created in 1973
Вики
ML (язык программирования)
ML (язык программирования) ML – функциональный язык программирования общего назначения с полиморфной системой типов Хиндли-Милнера. ML обеспечивает сопоставление с образцом,