Dgors03/AltExamCoq

Archived

This repository has been archived on 2022-06-02. You can view files and clone it, but cannot push or open issues or pull requests.

Files

Dmitriy Gorshenin 4364aa5d1d Полезный файл

2022-05-31 22:47:33 +03:00

452 B

Raw Permalink Blame History

Функциональный язык OCaml и его применение в системе интерактивных доказательств Coq*

Работа выполнена в рамках альтернативного экзамена.

Тему предложил: С.Н.Поздняков

Работу выполнили:

Горшенин Дмитрий

Ковтун Богдан

Тюлюбаев Артём