Abdelrahman Abounegm Russian Federation, Innopolis Research area program verification programming languages Affiliation & position Innopolis University — Masters student E-mail a.abounegm@innopolis.university
Abounegm A., Kudasov N. Implementing a Language Server for the Rzk Proof Assistant // System Informatics. — 2023. — # 22. — P. 45-50
