MIPT-Coq-25-Lect-07

Аватар автора
evgeny.dashkov
Интерактивное доказывание теорем (Coq) в МФТИ. Темы: импликативный фрагмент интуиционистской логики высказываний в Coq (продолжение); функциональное программирование в Coq.

0/0


0/0

0/0

0/0