mizar-items

swMATH45171MaRDI QIDQ1333887FDOQ1333887

Author name not available (Why is that?)

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 (3)

• Mizar: State-of-the-art and Beyond
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Eliciting implicit assumptions of Mizar proofs by property omission

This page was built for software: mizar-items