TY  - BOOK
AU  - Andrusyshyn,Orest
ED  - Ukrainian Catholic University
TI  - Facilitation of the theorem proving in Coq using transformer
PY  - 2024///
CY  - Lviv
PB  - [s.n.]
N1  - Бакалаврська робота; Містить бібліографію
ER  -