mizar-items
From MaRDI portal
Software:1333887
No author found.
Source code repository: https://github.com/jessealama/mizar-items
Related Items (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
