VSCode Extension for the Web and Coding Assistance for the Mizar Language

EasyChair Preprint 10787

Abstract

This paper discusses the enhancements we have made to the Mizar Extension for Visual Studio Code (VSCode). The first part of the paper explores the creation of the Mizar Server and client-side infrastructure, developed to support the web version of the Mizar Extension for VSCode. The latter part provides an update on the development of the formatter function and reports on the progress of our research into coding assistance using ChatGPT.

Keyphrases: ChatGPT, Mizar, VSCode for the Web, code formatter, coding assistance, server side verification

@booklet{EasyChair:10787,
  author    = {Haruka Miyata and Ryutaro Matsumoto and Kazuhisa Nakasho},
  title     = {VSCode Extension for the Web and Coding Assistance for the Mizar Language},
  howpublished = {EasyChair Preprint 10787},
  year      = {EasyChair, 2023}}