Remote verification system for Mizar integrated with emwiki

DOI10.1007/978-3-031-66997-2_19MaRDI QIDQ6648182zbMATH OpenFDO

Authors Toshiki Kai, Yuta Teruya, Kazuhisa Nakasho

Publication date 4 December 2024

Full work available at URL https://doi.org/10.1007/978-3-031-66997-2_19

zbMATH Keywords

MizarMizar mathematical library (MML)remote developmentVSCode for the web extensionweb platform integration

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites work

• A web interface for Isabelle: the next generation
• An integrated web platform for the Mizar Mathematical Library
• Collaborative Interactive Theorem Proving with Clide
• Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library
• Formal mathematics on display: a wiki for Flyspeck
• scientific article; zbMATH DE number 5850143 (Why is no real title available?)
• Large formal wikis: issues and solutions
• Mathematical Knowledge Management
• MizAR 40 for Mizar 40
• Mizar: state-of-the-art and beyond

This page was built for publication: Remote verification system for Mizar integrated with emwiki

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6648182)