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