Dgors03/AltExamCoq
Archived
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
This repository has been archived on 2022-06-02. You can view files and clone it. You cannot open issues or pull requests or push a commit.
8 Commits 1 Branch 0 Tags
b4848320eeb0a0030608e1b19a58126a9d3f3b81
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE

README.md

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

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

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

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

Горшенин Дмитрий
Ковтун Богдан
Тюлюбаев Артём
Reference in New Issue View Git Blame Copy Permalink
Description
No description provided
Readme 27 KiB
Languages
Coq 100%