Facilitation of the theorem proving in Coq using transformer / Orest Andrusyshyn ; supervisor : Vasyl Lenko.
By: Andrusyshyn, Orest.
Contributor(s): Ukrainian Catholic University Department of computer science and information technologies Faculty of applied sciences.
Material type:
TextPublisher: Lviv : [s.n.], 2024. Description: ix, 32 арк. іл. 30 см.Other title: Сприяння доведенню теорем в Coq шляхом використання трансформера.Dissertation note: Бакалаврська робота
| Item type | Current library | Status | Barcode | |
|---|---|---|---|---|
| Книга | Студентські роботи ЦШ | Available | 395467 |
Бакалаврська робота
Містить бібліографію
There are no comments on this title.
Log in to your account to post a comment.
