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: TextTextPublisher: Lviv : [s.n.], 2024. Description: ix, 32 арк. іл. 30 см.Other title: Сприяння доведенню теорем в Coq шляхом використання трансформера.Dissertation note: Бакалаврська робота
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Status Barcode
Книга Студентські роботи ЦШ Available 395467

Бакалаврська робота

Містить бібліографію

There are no comments on this title.

to post a comment.