mizar-items

MaRDI QIDQ1333887swMATHFDO

Official website https://arxiv.org/abs/1107.4721

Source code repository https://github.com/jessealama/mizar-items

Described by source

• mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library

Cited in

(7)

• LPL software
• MathJax
• Tipi
• TGView3D
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Eliciting implicit assumptions of Mizar proofs by property omission
• Mizar: state-of-the-art and beyond

This page was built for software: mizar-items