mizar-items

swMATH45171MaRDI QIDQ1333887FDOQ1333887

Author name not available (Why is that?)

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)

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

This page was built for software: mizar-items