Facilitation of the theorem proving in Coq using transformer

Andrusyshyn, Orest. Facilitation of the theorem proving in Coq using transformer / Orest Andrusyshyn ; supervisor : Vasyl Lenko . - Lviv : [s.n.], 2024 . - ix, 32 арк. іл. 30 см.

Бакалаврська робота
К.: Містить бібліографію