Описание тега logical-foundations
Вопросы, связанные с курсом логических основ Пенсильванского университета
Курс " Логические основы" охватывает функциональное программирование, базовые концепции логики, компьютерное доказательство теорем и Coq. Первый том серии "Основы программного обеспечения".