Andrusyshyn, Orest.
Facilitation of the theorem proving in Coq using transformer /
Orest Andrusyshyn ; supervisor : Vasyl Lenko 
. - Lviv : [s.n.],  2024 
. - ix, 32  арк.  іл.  30 см. 
<br/><br/>Бакалаврська робота 
<br/>К.: Містить бібліографію