Publisher
Springer Nature Switzerland
Reference19 articles.
1. Taniguchi, H., Nakasho, K.: Visual studio code extension and auto-completion for Mizar language. In: 2021 Ninth International Symposium on Computing and Networking (CANDAR), pp. 182–188. IEEE (2021)
2. Lecture Notes in Computer Science;G Bancerek,2004
3. Grabowski, A., Kornilowicz, A., Naumowicz, A.: Mizar in a nutshell. J. Formalized Reasoning 3(2), 153–245 (2010)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);G Bancerek,2015
5. Arias, E.J.G., Pin, B., Jouvelot, P.: jsCoq: towards hybrid theorem proving interfaces. arXiv preprint arXiv:1701.07125 (2017)