Author:Kazuhisa Nakasho

Keyphrases

automated classification, ChatGPT², code formatter, coding assistance, compound graph layout, Encyclopedic Dictionary of Mathematics, Mathmatics Subject Classification (MSC), Mizar², Mizar Mathematical Library (MML), server side verification, VSCode for the Web.