Christoph Schwarzweller. Developing Field Theory in Mizar. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, Dominik Slezak, editors, Proceedings of the 18th Conference on Computer Science and Intelligence Systems, FedCSIS 2023, Warsaw, Poland, September 17-20, 2023. Volume 35 of Annals of Computer Science and Information Systems, pages 303-308, 2023. [doi]
Abstract is missing.