, Taras Shevchenko National University of Kyiv, Ukraine
-
Journal of Formalized Reasoning Vol. 9 No. 1 (2016): Special Issue: Twenty Years of the QED Manifesto - QED 20th anniversary
Mathematical Text Processing in EA-style: a Sequent Aspect
Abstract PDF