Download PDFOpen PDF in browser

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

EasyChair Preprint 10787

11 pagesDate: August 28, 2023

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

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@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}}
Download PDFOpen PDF in browser