Facilitation of the theorem proving in Coq using transformer - Andrusyshyn, Orest; Ukrainian Catholic University Department of computer science and information technologies Faculty of applied sciences (Lviv [s.n.], 2024)
(NbAKALAWRSXKA ROBOTAs
(Nm)QÆSTITX BÆBLÆOGRAFÆ@s)E